Md. Solimul Chowdhury
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
8
Active years
2012–2024
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SoCS | Exploring Conflict Generating Decisions: Initial Results (Extended Abstract). | Md. Solimul Chowdhury, Martin Mller, Jia-Huai You |
| 2024 | TACAS | TaSSAT: Transfer and Share SAT. | Md. Solimul Chowdhury, Cayden R. Codel, Marijn J. H. Heule |
| 2022 | SAT | Migrating Solver State. | Armin Biere, Md. Solimul Chowdhury, Marijn J. H. Heule, Benjamin Kiesl, Michael W. Whalen |
| 2020 | AAAI | Guiding CDCL SAT Search via Random Exploration amid Conflict Depression. | Md. Solimul Chowdhury, Martin Mller, Jia-Huai You |
| 2019 | CP | Exploiting Glue Clauses to Design Effective CDCL Branching Heuristics. | Md. Solimul Chowdhury, Martin Mller, Jia-Huai You |
| 2018 | AAAI | Preliminary Results on Exploration-Driven Satisfiability Solving. | Md. Solimul Chowdhury, Martin Mller, Jia-Huai You |
| 2016 | AI | Flexible Approximators for Approximating Fixpoint Theory. | Fangfang Liu, Yi Bi, Md. Solimul Chowdhury, Jia-Huai You, Zhiyong Feng |
| 2014 | LOPSTR | 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 |
| 2012 | ICTAI | SAT with Global Constraints. | Md. Solimul Chowdhury, Jia-Huai You |