Md. Solimul Chowdhury

15 papers A* 2A 2B 2C 1Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2024 B conf
Exploring Conflict Generating Decisions: Initial Results (Extended Abstract).
SOCS
Md. Solimul Chowdhury, Martin Müller, Jia-Huai You
2024 — conf
TaSSAT: Transfer and Share SAT.
TACAS (1)
Md. Solimul Chowdhury, Cayden R. Codel, Marijn J. H. Heule
2023 — conf
A Linear Weight Transfer Rule for Local Search.
NFM
Md. Solimul Chowdhury, Cayden R. Codel, Marijn J. H. Heule
2023 J jnl
A Linear Weight Transfer Rule for Local Search.
CoRR
Md. Solimul Chowdhury, Cayden R. Codel, Marijn J. H. Heule
2022 A conf
Migrating Solver State.
SAT
Armin Biere, Md. Solimul Chowdhury, Marijn J. H. Heule, Benjamin Kiesl, Michael W. Whalen
2021 J jnl
A Deep Dive into Conflict Generating Decisions.
CoRR
Md. Solimul Chowdhury, Martin Müller, Jia-Huai You
2020 A* conf
Guiding CDCL SAT Search via Random Exploration amid Conflict Depression.
AAAI
Md. Solimul Chowdhury, Martin Müller, Jia-Huai You
2019 J jnl
Characterization of Glue Variables in CDCL SAT Solving.
CoRR
Md. Solimul Chowdhury, Martin Müller, Jia-Huai You
2019 A conf
Exploiting Glue Clauses to Design Effective CDCL Branching Heuristics.
CP
Md. Solimul Chowdhury, Martin Müller, Jia-Huai You
2018 J jnl
Evolving Real-Time Heuristics Search Algorithms with Building Blocks.
CoRR
Md. Solimul Chowdhury, Victor Silva
2018 A* conf
Preliminary Results on Exploration-Driven Satisfiability Solving.
AAAI
Md. Solimul Chowdhury, Martin Müller, Jia-Huai You
2018 J jnl
Task and Energy Aware Node Placement in Wirelessly Rechargeable WSNs.
CoRR
Md. Solimul Chowdhury
2016 — conf
Flexible Approximators for Approximating Fixpoint Theory.
Canadian AI
Fangfang Liu, Yi Bi, Md. Solimul Chowdhury, Jia-Huai You, Zhiyong Feng
2014 C conf
Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies.
LOPSTR
Md. Solimul Chowdhury, Fangfang Liu, Wu Chen, Arash Karimi, Jia-Huai You
2012 B conf
SAT with Global Constraints.
ICTAI
Md. Solimul Chowdhury, Jia-Huai You