Conference Certified Knowledge Compilation with Application to Formally Verified Model Counting 2025 • The journal of artificial intelligence research • 82:2057-2099 Bryant RE, Nawrocki W, Avigad J, Heule MJH
Journal Article Preface 2025 • Lecture Notes in Computer Science • 15698 LNCS:v-ix Gurfinkel A, Heule M, Kaufmann D, Santolucito M, Beyer D, Strejček J
Journal Article Producing Proofs of Unsatisfiability with Distributed Clause-Sharing SAT Solvers 2025 • Journal of Automated Reasoning • 69(2):12 Michaelson D, Schreiber D, Heule MJH, Kiesl-Reiter B, Whalen MW
Conference Formal Verification of the Empty Hexagon Number 2024 • Leibniz International Proceedings in Informatics • 309: Subercaseaux B, Nawrocki W, Gallicchio J, Codel C, Carneiro M, Heule MJH
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
Conference Quantum Circuit Mapping Based on Incremental and Parallel SAT Solving 2024 • Leibniz International Proceedings in Informatics • 305: Yang J, Kharkov YA, Shi Y, Heule MJH, Dutertre B
Conference Translating Pseudo-Boolean Proofs into Boolean Clausal Proofs 2024 • Formal Methods in Computer Aided Design Fmcad • 175-185 Nukala KV, Choudhuri S, Bryant RE, Heule MJH
Conference Verified Substitution Redundancy Checking 2024 • Formal Methods in Computer Aided Design Fmcad • 186-196 Codel CR, Avigad J, Heule MJH
Journal Article An Automated Approach to the Collatz Conjecture 2023 • Journal of Automated Reasoning • 67(2): Yolcu E, Aaronson S, 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-366 Subercaseaux B, Heule M
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