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 | 9 | 2020 |
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 | 7 | 2019 |
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 | 7 | 2016 |
Parallel Document Clustering with Hadoop on Amazon Elastic Computing Cloud Y Liu, L Gutierrez, A Firouzmanesh, X Shi, X Ke, MS Chowdhury CMPUT, 2009 | 4 | 2009 |
Migrating solver state A Biere, MS Chowdhury, MJH Heule, B Kiesl, MW Whalen 25th International Conference on Theory and Applications of Satisfiability …, 2022 | 2 | 2022 |
Characterization of glue variables in CDCL SAT solving MS Chowdhury, M Müller, JH You arXiv preprint arXiv:1904.11106, 2019 | 2 | 2019 |
Description of expsat solvers MS Chowdhury, M Müller, JH You Proc. of SAT Competition, 2018 | 2 | 2018 |
GrandTourobs puzzle as a SAT benchmark MS Chowdhury, M Müller, JH You Proceedings of SAT Competition, 59-60, 2018 | 2 | 2018 |
A Linear Weight Transfer Rule for Local Search MS Chowdhury, CR Codel, MJH Heule NASA Formal Methods Symposium, 447-463, 2023 | 1 | 2023 |
Empirical Insights Driven CDCL SAT Algorithms MS Chowdhury | 1 | 2022 |
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 | 1 | 2018 |
SAT with global constraints MS Chowdhury | 1 | 2011 |
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 |