Follow
Md Solimul Chowdhury
Title
Cited by
Cited by
Year
Guiding cdcl sat search via random exploration amid conflict depression
MS Chowdhury, J You
Proceedings of the AAAI Conference on Artificial Intelligence 34 (02), 1428-1435, 2020
92020
Flexible approximators for approximating fixpoint theory
F Liu, Y Bi, MS Chowdhury, JH You, Z Feng
Advances in Artificial Intelligence: 29th Canadian Conference on Artificial …, 2016
92016
Exploiting glue clauses to design effective CDCL branching heuristics
MS Chowdhury, M Müller, JH You
Principles and Practice of Constraint Programming: 25th International …, 2019
72019
Parallel Document Clustering with Hadoop on Amazon Elastic Computing Cloud
Y Liu, L Gutierrez, A Firouzmanesh, X Shi, X Ke, MS Chowdhury
CMPUT, 2009
42009
Migrating solver state
A Biere, MS Chowdhury, MJH Heule, B Kiesl, MW Whalen
25th International Conference on Theory and Applications of Satisfiability …, 2022
22022
Characterization of glue variables in CDCL SAT solving
MS Chowdhury, M Müller, JH You
arXiv preprint arXiv:1904.11106, 2019
22019
Description of expsat solvers
MS Chowdhury, M Müller, JH You
Proc. of SAT Competition, 2018
22018
GrandTourobs puzzle as a SAT benchmark
MS Chowdhury, M Müller, JH You
Proceedings of SAT Competition, 59-60, 2018
22018
A Linear Weight Transfer Rule for Local Search
MS Chowdhury, CR Codel, MJH Heule
NASA Formal Methods Symposium, 447-463, 2023
12023
Empirical Insights Driven CDCL SAT Algorithms
MS Chowdhury
12022
Preliminary results on exploration-driven satisfiability solving
MS Chowdhury, M Müller, JH You
Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018
12018
SAT with global constraints
MS Chowdhury
12011
TaSSAT: Transfer and Share SAT
MS Chowdhury, CR Codel, MJH Heule
International Conference on Tools and Algorithms for the Construction and …, 2024
2024
Machine Learning for Reasoning
MS Chowdhury
2022
Why are Hard Problems Easy to Solve in Practice?
MS Chowdhury
2022
A Deep Dive into Conflict Generating Decisions
MS Chowdhury, M Müller, J You
arXiv preprint arXiv:2105.04595, 2021
2021
A Deep Dive into Conflict Generating Decisions
M Solimul Chowdhury, M Müller, J You
arXiv e-prints, arXiv: 2105.04595, 2021
2021
kissat-hywalk-gb, kissat-hywalk-exp, kissat-hywalk-exp-gb, and malloblin Entering the SAT Competition-2023
MS Chowdhury
SAT COMPETITION 2023 1428, 28, 2020
2020
Exploration Guided Conflict Directed Clause Learning (CDCL) SAT Solving
MS Chowdhury
2019
Exploration via Random Walks in CDCL SAT Solving amid Conflict Depression
MS Chowdhury, M Müller, JH You
2019
The system can't perform the operation now. Try again later.
Articles 1–20