Conference Sensitivity Analysis of Locked Circuits 2020 • EPiC series in computing • 73:483-467 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
Journal Article A family of schemes for multiplying 3 x 3 matrices with 23 coefficient multiplications 2019 • ACM Communications in Computer Algebra • 53(3):118-121 Heule M, Kauers M, Seidl M
Chapter Clausal Proofs of Mutilated Chessboards 2019 • Lecture Notes in Computer Science • 11460:204-210 Heule MJH, Kiesl B, Biere A
Journal Article Computing properties of stable configurations of thermodynamic binding networks 2019 • Theoretical Computer Science • 785:17-29 Breik K, Thachuk C, Heule M, Soloveichik D
Chapter Encoding Redundancy for Satisfaction-Driven Clause Learning 2019 • Lecture Notes in Computer Science • 11427:41-58 Heule MJH, Kiesl B, Biere A
Chapter Local Search for Fast Matrix Multiplication 2019 • Lecture Notes in Computer Science • 11628:155-163 Heule MJH, Kauers M, Seidl M
Journal Article Optimal Symmetry Breaking for Graph Problems 2019 • Mathematics in Computer Science • 13(4):533-548 Heule MJH
Conference The Effect of Scrambling CNFs 2019 • EPiC series in computing • 59:111-194 Biere A, Heule M
Chapter Trimming Graphs Using Clausal Proof Optimization 2019 • Lecture Notes in Computer Science • 11802:251-267 Heule MJH
Chapter Truth Assignments as Conditional Autarkies 2019 • Lecture Notes in Computer Science • 11781:48-64 Kiesl B, Heule MJH, Biere A
Chapter Extended Resolution Simulates DRAT 2018 • Lecture Notes in Computer Science • 10900:516-531 Kiesl B, Rebola-Pardo A, Heule MJH
Conference Schur Number Five 2018 • Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence • 6598-6606 Heule MJH
Chapter What a Difference a Variable Makes 2018 • Lecture Notes in Computer Science • 10806:75-92 Heule MJH, Biere A
Chapter A Little Blocked Literal Goes a Long Way 2017 • Lecture Notes in Computer Science • 10491:281-297 Kiesl B, Heule MJH, Seidl M
Chapter Efficient Certified RAT Verification 2017 • Lecture Notes in Computer Science • 10395:220-236 Cruz-Filipe L, Heule MJH, Hunt WAJ, Kaufmann M, Schneider-Kamp P
Chapter Efficient, Verified Checking of Propositional Proofs 2017 • Lecture Notes in Computer Science • 10499:269-284 Heule M, Hunt WJ, Kaufmann M, Wetzler N
Conference Everything's Bigger in Texas: "The Largest Math Proof Ever" 2017 • EPiC series in computing • 50:1-5 Heule M
Conference Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions 2017 • EPiC series in computing • 51:42-37 Moore J, Heule M
Chapter PRuning Through Satisfaction 2017 • Lecture Notes in Computer Science • 10629:179-194 Heule MJH, Kiesl B, Seidl M, Biere A
