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
Conference SAT Competition 2016: Recent Developments 2017 • Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence • 5061-5063 Balyo T, Heule MJH, Jarvisalo M
Chapter Short Proofs Without New Variables 2017 • Lecture Notes in Computer Science • 10395:130-147 Heule MJH, Kiesl B, Biere A
Chapter Skolem Function Continuation for Quantified Boolean Formulas 2017 • Lecture Notes in Computer Science • 10375:129-138 Fazekas K, Heule MJH, Seidl M, Biere A
Journal Article Solution Validation and Extraction for QBF Preprocessing 2017 • Journal of Automated Reasoning • 58(1):97-125 Heule MJH, Seidl M, Biere A
