Md. Solimul Chowdhury

According to our database, Md. Solimul Chowdhury authored at least 14 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

TaSSAT: Transfer and Share SAT.

Md. Solimul Chowdhury, Cayden R. Codel, Marijn J. H. Heule

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Exploring Conflict Generating Decisions: Initial Results (Extended Abstract).

Md. Solimul Chowdhury, Martin Müller, Jia-Huai You

Proceedings of the Seventeenth International Symposium on Combinatorial Search, 2024

2023

A Linear Weight Transfer Rule for Local Search.

Md. Solimul Chowdhury, Cayden R. Codel, Marijn J. H. Heule

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

2022

Migrating Solver State.

Armin Biere, Md. Solimul Chowdhury, Marijn J. H. Heule, Benjamin Kiesl, Michael W. Whalen

Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022

2021

A Deep Dive into Conflict Generating Decisions.

Md. Solimul Chowdhury, Martin Müller, Jia-Huai You

CoRR, 2021

2020

Guiding CDCL SAT Search via Random Exploration amid Conflict Depression.

Md. Solimul Chowdhury, Martin Müller, Jia-Huai You

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Characterization of Glue Variables in CDCL SAT Solving.

Md. Solimul Chowdhury, Martin Müller, Jia-Huai You

CoRR, 2019

Exploiting Glue Clauses to Design Effective CDCL Branching Heuristics.

Md. Solimul Chowdhury, Martin Müller, Jia-Huai You

Proceedings of the Principles and Practice of Constraint Programming, 2019

2018

Evolving Real-Time Heuristics Search Algorithms with Building Blocks.

Md. Solimul Chowdhury, Victor Silva

CoRR, 2018

Task and Energy Aware Node Placement in Wirelessly Rechargeable WSNs.

Md. Solimul Chowdhury

CoRR, 2018

Preliminary Results on Exploration-Driven Satisfiability Solving.

Md. Solimul Chowdhury, Martin Müller, Jia-Huai You

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2016

Flexible Approximators for Approximating Fixpoint Theory.

Fangfang Liu, Yi Bi, Md. Solimul Chowdhury, Jia-Huai You, Zhiyong Feng

Proceedings of the Advances in Artificial Intelligence, 2016

2014

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

Proceedings of the Logic-Based Program Synthesis and Transformation, 2014

2012

SAT with Global Constraints.

Md. Solimul Chowdhury, Jia-Huai You

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012