Follow
Md Solimul Chowdhury
Title
Cited by
Cited by
Year
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
102016
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
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
82019
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, MJ Heule, B Kiesl
Leibniz international proceedings in informatics 236, 2022
32022
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
SAT with global constraints
MS Chowdhury
22011
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
A deep dive into conflict generating decisions
MS Chowdhury, M Müller, J You
arXiv preprint arXiv:2105.04595, 2021
12021
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, JH You
2012 IEEE 24th International Conference on Tools with Artificial …, 2012
12012
Exploring Conflict Generating Decisions: Initial Results
MS Chowdhury, M Müller, JH You
Proceedings of the International Symposium on Combinatorial Search 17, 267-268, 2024
2024
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
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
The system can't perform the operation now. Try again later.
Articles 1–20