| 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 |
