Md. Solimul Chowdhury

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 13

Top Topics

Top Venues

Canadian Conference on AI

Publications

Md. Solimul Chowdhury, Cayden R. Codel, Marijn J. H. Heule
TaSSAT: Transfer and Share SAT. TACAS (1) (2024)
Md. Solimul Chowdhury, Martin Müller, Jia-Huai You
Exploring Conflict Generating Decisions: Initial Results (Extended Abstract). SOCS (2024)
Md. Solimul Chowdhury, Cayden R. Codel, Marijn J. H. Heule
A Linear Weight Transfer Rule for Local Search. NFM (2023)
Md. Solimul Chowdhury, Cayden R. Codel, Marijn J. H. Heule
A Linear Weight Transfer Rule for Local Search. CoRR (2023)
Armin Biere, Md. Solimul Chowdhury, Marijn J. H. Heule, Benjamin Kiesl, Michael W. Whalen
Migrating Solver State. SAT (2022)
Md. Solimul Chowdhury, Martin Müller, Jia-Huai You
A Deep Dive into Conflict Generating Decisions. CoRR (2021)
Md. Solimul Chowdhury, Martin Müller, Jia-Huai You
Guiding CDCL SAT Search via Random Exploration amid Conflict Depression. AAAI (2020)
Md. Solimul Chowdhury, Martin Müller, Jia-Huai You
Exploiting Glue Clauses to Design Effective CDCL Branching Heuristics. CP (2019)
Md. Solimul Chowdhury, Martin Müller, Jia-Huai You
Characterization of Glue Variables in CDCL SAT Solving. CoRR (2019)
Md. Solimul Chowdhury, Victor Silva
Evolving Real-Time Heuristics Search Algorithms with Building Blocks. CoRR (2018)
Md. Solimul Chowdhury, Martin Müller, Jia-Huai You
Preliminary Results on Exploration-Driven Satisfiability Solving. AAAI (2018)
Md. Solimul Chowdhury
Task and Energy Aware Node Placement in Wirelessly Rechargeable WSNs. CoRR (2018)
Fangfang Liu, Yi Bi, Md. Solimul Chowdhury, Jia-Huai You, Zhiyong Feng
Flexible Approximators for Approximating Fixpoint Theory. Canadian Conference on AI (2016)
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)
Md. Solimul Chowdhury, Jia-Huai You
SAT with Global Constraints. ICTAI (2012)