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 LNCS: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 LNCS: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
Conference Solving Very Hard Problems: Cube-and-Conquer, a Hybrid SAT Solving Method 2017 • IJCAI International Joint Conference on Artificial Intelligence • 4864-4868 Heule MJH, Kullmann O, Marek VW
Chapter Static Detection of DoS Vulnerabilities in Programs that Use Regular Expressions 2017 • Lecture Notes in Computer Science • 10206:3-20 Wustholz V, Olivo O, Heule MJH, Dillig I
Conference The Potential of Interference-Based Proof Systems 2017 • EPiC series in computing • 51:51-46 Heule M, Kiesl B
Conference The quest for perfect and compact symmetry breaking for graph problems 2017 • Proceedings - 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016 • 149-156 Heule MJH
