SAT with Global Constraints. - Md. Solimul Chowdhury; Jia-Huai You (ICTAI, 2012)

Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies. - Md. Solimul Chowdhury; Fangfang Liu; Wu Chen; Arash Karimi; Jia-Huai You (LOPSTR, 2014)

Flexible Approximators for Approximating Fixpoint Theory. - Fangfang Liu; Yi Bi; Md. Solimul Chowdhury; Jia-Huai You; Zhiyong Feng 002 (Canadian AI, 2016)

Preliminary Results on Exploration-Driven Satisfiability Solving. - Md. Solimul Chowdhury; Martin Müller 003; Jia-Huai You (AAAI, 2018)

Task and Energy Aware Node Placement in Wirelessly Rechargeable WSNs. - Md. Solimul Chowdhury (CoRR, 2018)

Evolving Real-Time Heuristics Search Algorithms with Building Blocks. - Md. Solimul Chowdhury; Victor Silva 003 (CoRR, 2018)

Exploiting Glue Clauses to Design Effective CDCL Branching Heuristics. - Md. Solimul Chowdhury; Martin Müller 003; Jia-Huai You (CP, 2019)

Characterization of Glue Variables in CDCL SAT Solving. - Md. Solimul Chowdhury; Martin Müller 003; Jia-Huai You (CoRR, 2019)

Guiding CDCL SAT Search via Random Exploration amid Conflict Depression. - Md. Solimul Chowdhury; Martin Müller 003; Jia-Huai You (AAAI, 2020)

A Deep Dive into Conflict Generating Decisions. - Md. Solimul Chowdhury; Martin Müller 003; Jia-Huai You (CoRR, 2021)

Migrating Solver State. - Armin Biere; Md. Solimul Chowdhury; Marijn J. H. Heule; Benjamin Kiesl; Michael W. Whalen (SAT, 2022)

A Linear Weight Transfer Rule for Local Search. - Md. Solimul Chowdhury; Cayden R. Codel; Marijn J. H. Heule (NFM, 2023)

Artifact for TaSSAT: A Stochastic Local Search Solver for SAT. - Md. Solimul Chowdhury; Cayden R. Codel; Marijn Heule (Zenodo, 2023)

Exploring Conflict Generating Decisions: Initial Results (Extended Abstract). - Md. Solimul Chowdhury; Martin Müller 003; Jia-Huai You (SOCS, 2024)

TaSSAT: Transfer and Share SAT. - Md. Solimul Chowdhury; Cayden R. Codel; Marijn J. H. Heule (TACAS (1), 2024)