Conference PackIt!: Gamified Rectangle Packing 2024 • Leibniz International Proceedings in Informatics • 291: Garrison T, Heule MJH, Subercaseaux B
Journal Article Preface 2024 • Lecture Notes in Computer Science • 14740 LNAI:v-vi Benzmüller C, Heule MJH, Schmidt RA
Journal Article Preface 2024 • Lecture Notes in Computer Science • 14739 LNAI:v-vi Benzmüller C, Heule MJH, Schmidt RA
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