| 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 | 10 | 2016 |
| 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 | 8 | 2019 |
| 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, MJ Heule, B Kiesl Leibniz international proceedings in informatics 236, 2022 | 3 | 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 |
| SAT with global constraints MS Chowdhury | 2 | 2011 |
| 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 |
| A deep dive into conflict generating decisions MS Chowdhury, M Müller, J You arXiv preprint arXiv:2105.04595, 2021 | 1 | 2021 |
| 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, JH You 2012 IEEE 24th International Conference on Tools with Artificial …, 2012 | 1 | 2012 |
| 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 |
