Journal Article An Automated Approach to the Collatz Conjecture 2023 • Journal of Automated Reasoning • 67(2): Yolcu E, Aaronson S, Heule MJH
Conference Certified Knowledge Compilation with Application to Verified Model Counting 2023 • Leibniz International Proceedings in Informatics • 271: Bryant RE, Nawrocki W, Avigad J, Heule MJH
Conference Effective Auxiliary Variables via Structured Reencoding 2023 • Leibniz International Proceedings in Informatics • 271: Haberlandt A, Green H, Heule MJH
Conference Exponential Separations Using Guarded Extension Variables 2023 • Leibniz International Proceedings in Informatics • 251: Yolcu E, Heule MJH
Conference Mariposa: Measuring SMT Instability in Automated Program Verification 2023 • Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, FMCAD 2023 • 178-188 Zhou Y, Bosamiya J, Takashima Y, Li J, Heule M, Parno B
Journal Article Preprocessing of Propagation Redundant Clauses 2023 • Journal of Automated Reasoning • 67(3): Reeves JE, Heule MJH, Bryant RE
Conference The SAT Museum 2023 • CEUR Workshop Proceedings • 3545:72-87 Biere A, Fleury M, Froleyks N, Heule MJH
Conference Toward Optimal Radio Colorings of Hypercubes via SAT-solving 2023 • EPiC Series in Computing • 94:386-404 Subercaseaux B, Heule MJH
Conference Verified Encodings for SAT Solvers 2023 • Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, FMCAD 2023 • 141-151 Codel CR, Avigad J, Heule MJH
Journal Article Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML 2023 • International Journal on Software Tools for Technology Transfer • 25(2):167-184 Tan YK, Heule MJH, Myreen MO
Journal Article A FLEXIBLE PROOF FORMAT FOR SAT SOLVER-ELABORATOR COMMUNICATION 2022 • Logical Methods in Computer Science • 18(2): Baek S, Carneiro M, Heule MJH
Conference Compact Symmetry Breaking for Tournaments 2022 • Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design, FMCAD 2022 • 179-188 Lohn E, Lambert C, Heule MJH
Conference From Cliques to Colorings and Back Again 2022 • Leibniz International Proceedings in Informatics • 235: Heule MJH, Karahalios A, van Hoeve WJ
Conference Migrating Solver State 2022 • Leibniz International Proceedings in Informatics • 236: Biere A, Chowdhury MS, Heule MJH, Kiesl B, Whalen MW
Conference Relating Existing Powerful Proof Systems for QBF 2022 • Leibniz International Proceedings in Informatics • 236: Chew L, Heule MJH
Conference The Packing Chromatic Number of the Infinite Square Grid Is at Least 14 2022 • Leibniz International Proceedings in Informatics • 236: Subercaseaux B, Heule MJH
Chapter A Flexible Proof Format for SAT Solver-Elaborator Communication 2021 • Lecture Notes in Computer Science • 12651 LNCS:59-75 Baek S, Carneiro M, Heule MJH
Chapter An Automated Approach to the Collatz Conjecture 2021 • Lecture Notes in Computer Science • 12699:468-484 Yolcu E, Aaronson S, Heule MJH
Conference Avoiding Monochromatic Rectangles Using Shift Patterns 2021 • 14th International Symposium on Combinatorial Search, SoCS 2021 • 225-227 Liu Z, Chew L, Heule MJH
Chapter cake_lpr: Verified Propagation Redundancy Checking in CakeML 2021 • Lecture Notes in Computer Science • 12652 LNCS:223-241 Tan YK, Heule MJH, Myreen MO
Chapter Chinese Remainder Encoding for Hamiltonian Cycles 2021 • Lecture Notes in Computer Science • 12831:216-224 Heule MJH
Chapter Dual Proof Generation for Quantified Boolean Formulas with a BDD-based Solver 2021 • Lecture Notes in Computer Science • 12699:433-449 Bryant RE, Heule MJH
Conference Finding Invariants of Distributed Systems: It's a Small (Enough) World After All 2021 • PROCEEDINGS OF THE 18TH USENIX SYMPOSIUM ON NETWORKED SYSTEM DESIGN AND IMPLEMENTATION • 115-132 Hance T, Heule M, Martins R, Parno B
Chapter Generating Extended Resolution Proofs with a BDD-Based SAT Solver 2021 • Lecture Notes in Computer Science • 12651 LNCS:76-93 Bryant RE, Heule MJH
Book Handbook of satisfiability: Second edition 2021 • Frontiers in Artificial Intelligence and Applications • 1-1466 Biere A, Heule M, van Maaren H, Walsh T
