Md Solimul Chowdhury

PhD Candidate

Department of Computing Science
University of Alberta
Edmonton, Alberta
Canada, T6G 2E8
Email: mdsolimu at ualberta.ca

I am a PhD candidate at the Computing Science department of University of Alberta. I am supervised by Dr. Martin Müller and Dr. Jia-Huai You.

My research interests include the followings:

PhD, 09/2016 - Present, Department of Computing Science, University of Alberta, Edmonton, Canada. [Candidacy Proposal]
MSc, 09/2009 - 09/2011, Department of Computing Science, University of Alberta, Edmonton, Canada. [Thesis]
BSc, 01/2004 - 11/2007, Department of Computer Science and Information Technology, Islamic University of Technology, Gazipur, Bangladesh.

Md. Solimul Chowdhury, Martin Müller, Jia-Huai You: Guiding CDCL SAT Search via Random Exploration amid Conflict Depression. AAAI 2020. [Paper] [Talk] [Code]
- Acceptance Rate: 20.6% (1591/7737)
- Selected for Oral Presentation
Md. Solimul Chowdhury, Martin Müller, Jia-Huai You: Exploiting Glue Clauses to Design Effective CDCL Branching Heuristics. CP 2019. [Paper] [Talk] [Poster] [Code]
- Acceptance Rate: 36.36% (44/120)
Md. Solimul Chowdhury, Martin Müller, Jia-Huai You: Preliminary Results on Exploration-Driven Satisfiability Solving. AAAI 2018. [Paper] [3MT Talk] [Poster]
- Student Abstract Finalist (Top 18% of the accepted abstracts)
Fangfang Liu, Yi Bi, Md. Solimul Chowdhury, Jia-Huai You, Zhiyong Feng: Flexible Approximators for Approximating Fixpoint Theory. Canadian Conference on AI 2016. [Paper] [Talk]
- Acceptance Rate: 40.20% (39/97)
Md. Solimul Chowdhury, Fangfang Liu, Wu Chen, Arash Karimi, Jia-Huai You: Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies. LOPSTR 2014. [Paper]
- Acceptance Rate: 52.95% (18/34)
Md. Solimul Chowdhury, Jia-Huai You: SAT with Global Constraints. ICTAI 2012. [Paper]
- Acceptance Rate: 55.00% (165/300)
Md. Solimul Chowdhury, Md Sakibul Hasan, Sardar Anisul Haque: Haplotype inference by pure parsimony by SAT solver in distributed environment. IJCSNS:VOL.8 No.8:2008. [Paper]

Md. Solimul Chowdhury, Martin Müller, Jia-Huai You: Four CDCL SAT Solvers based on Exploration and Glue Variable Bumping, Proceedings of SAT Race 2019. [Paper]
Md. Solimul Chowdhury, Martin Müller, Jia-Huai You: Exploration via Random Walks in CDCL SAT Amid Conflict Depression. Proceedings of CP-2019 Doctoral Program. (informal) [Paper] [Talk]
Md. Solimul Chowdhury, Martin Müller, Jia-Huai You: Characterization of Glue Variables in CDCL SAT Solving. CoRR abs/1904.11106, 2019. [Paper]
Md. Solimul Chowdhury, Martin Müller, Jia-Huai You: Description of expSAT Solvers, Proceedings of SAT Competition, 2018. [Paper]
Md. Solimul Chowdhury, Martin Müller, Jia-Huai You: GrandTour^{obs} Puzzle as a SAT Benchmark, Proceedings of SAT Competition, 2018. [Paper]
Md. Solimul Chowdhury: Task and Energy Aware Node Placement in Wirelessly Rechargeable WSNs. CoRR abs/1805.07795, 2018. [Paper]
Md. Solimul Chowdhury, Victor Silva: Evolving Real-Time Heuristics Search Algorithms with Building Blocks. CoRR abs/1805.08256, 2018. [Paper]

I developed a CDCL SAT solver that won awards in SAT Race-2019. [link]
- First Runnerup in UNSAT Track (wrt. PAR-2 scoring).
- Second Runnerup in SAT+UNSAT track (wrt. Solution Count scoring).