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
Conference Certifying Projected Knowledge Compilation 2025 • Leibniz International Proceedings in Informatics • 341: Bryant RE, Tan YK, Heule MJH
Conference Instability Track for SMT-COMP 2025 • CEUR Workshop Proceedings • 4008:148-152 Shah A, Zhou Y, Heule M, Parno B
Journal Article Preface 2025 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 15698 LNCS:v-ix Gurfinkel A, Heule M, Kaufmann D, Santolucito M, Beyer D, Strejček J
Conference Problem Partitioning via Proof Prefixes 2025 • Leibniz International Proceedings in Informatics • 341: Battleman Z, Reeves JE, Heule MJH
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 Reencoding Unique Literal Clauses 2025 • Leibniz International Proceedings in Informatics • 341: Sheng A, Reeves JE, Heule MJH
Conference Revisiting Clause Vivification 2025 • CEUR Workshop Proceedings • 4008:153-167 Pollitt F, Fleury M, Biere A, Heule M, Sakallah K, Chen J, Fisseha Y
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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 14739 LNAI:v-vi Benzmüller C, Heule MJH, Schmidt RA
Journal Article Preface 2024 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 14740 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 • 2023 FORMAL METHODS IN COMPUTER-AIDED DESIGN, FMCAD • 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 • 2023 FORMAL METHODS IN COMPUTER-AIDED DESIGN, FMCAD • 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
