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
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
Journal Article The Science of Brute Force 2017 • Communications of the ACM • 60(8):70-79 Heule MJH, Kullmann O
Conference Analysis of computing policies using sat solvers 2016 • Lecture Notes in Computer Science • 10083 LNCS:190-194 Heule MJH, Reaz R, Acharya HB, Gouda MG
Chapter Analysis of Computing Policies Using SAT Solvers (Short Paper) 2016 • Lecture Notes in Computer Science • 10083:190-194 Heule MJH, Reaz R, Acharya HB, Gouda MG
Chapter Computing Maximum Unavoidable Subgraphs Using SAT Solvers 2016 • Lecture Notes in Computer Science • 9710:196-211 Cuong CK, Heule MJH
Chapter Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer 2016 • Lecture Notes in Computer Science • 9710:228-245 Heule MJH, Kullmann O, Marek VW
Conference The Quest for Perfect and Compact Symmetry Breaking for Graph Problems 2016 149-156 Heule MJH
Journal Article A SAT Approach to Clique-Width 2015 • ACM Transactions on Computational Logic • 16(3): Heule MJH, Szeider S
Chapter Blocked Literals Are Universal 2015 • Lecture Notes in Computer Science • 9058:436-442 Heule MJH, Seidl M, Biere A
Journal Article Clause Elimination for SAT and QSAT 2015 • The journal of artificial intelligence research • 53:127-168 Heule M, Jarvisalo M, Lonsing F, Seidl M, Biere A
Chapter Compositional Propositional Proofs 2015 • Lecture Notes in Computer Science • 9450:444-459 Heule MJH, Biere A
Chapter Expressing Symmetry Breaking in DRAT Proofs 2015 • Lecture Notes in Computer Science • 9195:591-606 Heule MJH, Hunt WAJ, Wetzler N
Chapter The Implication Problem of Computing Policies 2015 • Lecture Notes in Computer Science • 9212:109-123 Reaz R, Ali M, Gouda MG, Heule MJH, Elmallah ES
Conference Theory and Applications of Satisfiability Testing - SAT 2015: 18th International Conference Austin, TX, USA, September 24-27, 2015 Proceedings 2015 • Lecture Notes in Computer Science • 9340: Heule M, Weaver S
Conference What's Hot in the SAT and ASP Competitions 2015 • Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence • 4322-4323 Heule MJH, Schaub T
Chapter A Unified Proof System for QBF Preprocessing 2014 • Lecture Notes in Computer Science • 8562:91-106 Heule MJH, Seidl M, Biere A
Journal Article Bridging the gap between easy generation and efficient verification of unsatisfiability proofs 2014 • Software Testing Verification and Reliability • 24(8):593-607 Heule MJH, Hunt WAJ, Wetzler N