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
Journal Article New ways to multiply 3 x 3-matrices 2021 • Journal of Symbolic Computation • 104:899-916 Heule MJH, Kauers M, Seidl M
Book Preface first edition 2021 • Handbook of Satisfiability: Second Edition • v-vi Biere A, Heule M, van Maaren H, Walsh T
Book Preface first edition 2021 • Frontiers in Artificial Intelligence and Applications • 336:V-VI Biere A, Heule M, Van Maaren H, Walsh T
Book Preface second edition 2021 • Frontiers in Artificial Intelligence and Applications • 336:VII-VIII Biere A, Heule M, Van Maaren H, Walsh T
Chapter Proofs of Unsatisfiability 2021 • Frontiers in Artificial Intelligence and Applications • 635-668 Heule MJH
Journal Article SAT Competition 2020 2021 • Artificial Intelligence • 301: Froleyks N, Heule M, Iser M, Jarvisalo M, Suda M
Conference SAT-Inspired Eliminations for Superposition 2021 • Proceedings of the 21st Formal Methods in Computer-Aided Design, FMCAD 2021 • 231-240 Vukmirovic P, Blanchette J, Heule MJH
Chapter XOR Local Search for Boolean Brent Equations 2021 • Lecture Notes in Computer Science • 12831:417-435 Nawrocki W, Liu Z, Froehlich A, Heule MJH, Biere A
Conference Coloring unit-distance strips using sat 2020 • EPiC Series in Computing • 73:373-389 Oostema P, Martins R, Heule MJH
Journal Article Constructing Minimal Perfect Hash Functions Using SAT Technology 2020 • Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence • 34:1668-1675 Weaver SA, Heule MJH
Conference Modeling Techniques for Logic Locking 2020 • ICCAD / IEEE/ACM International Conference on Computer-Aided Design. IEEE/ACM International Conference on Computer-Aided Design Sweeney J, Heule MJH, Pileggi L
Chapter Mycielski Graphs and PR Proofs 2020 • Lecture Notes in Computer Science • 12178:201-217 Yolcu E, Wu X, Heule MJH
Conference Mycielski Graphs and$$\mathrm {PR}$$ Proofs 2020 • Lecture Notes in Computer Science • 12178 LNCS:201-217 Yolcu E, Wu X, Heule MJH
Book Preface 2020 • Lecture Notes in Computer Science • 12078 LNCS:vii-ix Biere A, Parker D, Heule M, Howar F, Beyer D, Hartmanns A, Seidl M
Book Preface 2020 • Lecture Notes in Computer Science • 12079 LNCS:vii-ix Heule M, Howar F, Beyer D, Hartmanns A, Seidl M, Biere A, Parker D
Conference Sensitivity analysis of locked circuits 2020 • EPiC Series in Computing • 73:483-497 Sweeney J, Heule MJH, Pileggi L
Journal Article Simulating Strong Practical Proof Systems with Extended Resolution 2020 • Journal of Automated Reasoning • 64(7):1247-1267 Kiesl B, Rebola-Pardo A, Heule MJH, Biere A
Chapter Sorting Parity Encodings by Reusing Variables 2020 • Lecture Notes in Computer Science • 12178:1-10 Chew L, Heule MJH
Journal Article Strong Extension-Free Proof Systems 2020 • Journal of Automated Reasoning • 64(3):533-554 Heule MJH, Kiesl B, Biere A
Chapter The Resolution of Keller's Conjecture 2020 • Lecture Notes in Computer Science • 12166:48-65 Brakensiek J, Heule M, Mackey J, Narvaez D
