Conference Symmetry within Solutions 2010 • Proceedings of the 24th AAAI Conference on Artificial Intelligence, AAAI 2010 • 77-82 Heule M, Walsh T
Chapter Dynamic Symmetry Breaking by Simulating Zykov Contraction 2009 • Lecture Notes in Computer Science • 5584:223-236 Schaafsma B, Heule MJH, van Maaren H
Book Handbook of Satisfiability: Preface 2009 • Frontiers in Artificial Intelligence and Applications • 185(1): Biere A, Heule M, Maaren HV, Walsh T
Journal Article Look-Ahead Based SAT Solvers 2009 • Frontiers in Artificial Intelligence and Applications • 185:155-184 Heule MJH, van Maaren H
Conference Using a satisfiability solver to identify deterministic finite state automata 2009 • Belgian/Netherlands Artificial Intelligence Conference • 91-98 Heule MJH, Verwer S
Chapter Prototypes for Automated Architectural 3D-Layout 2008 • Lecture Notes in Computer Science • 4820:203-214 Bier H, de Jong A, van der Hoorn G, Brouwers N, Heule M, van Maaren H
Journal Article Sums of squares based approximation algorithms for MAX-SAT 2008 • Discrete Applied Mathematics • 156(10):1754-1779 van Maaren H, van Norden L, Heule MJH
Chapter Effective incorporation of double look-ahead procedures 2007 • Lecture Notes in Computer Science • 4501:258-+ Heule M, van Maaren H
Chapter From idempotent Generalized Boolean Assignments to multi-bit search 2007 • Lecture Notes in Computer Science • 4501:134-+ Heule M, van Maaren H
Journal Article Solving games dependence of applicable solving procedures 2007 • Science of Computer Programming • 67(1):105-124 Heule MJH, Rothkrantz LJM
Chapter Aligning CNF- and equivalence-reasoning 2005 • Lecture Notes in Computer Science • 3542:145-156 Heule M, van Maaren H
Chapter March-eq: Implementing additional reasoning into an efficient look-ahead SAT solver 2005 • Lecture Notes in Computer Science • 3542:345-359 Heule M, Dufour M, van Zwieten J, van Maaren H
Chapter Observed lower bounds for random 3-SAT phase transition density using linear programming 2005 • Lecture Notes in Computer Science • 3569:122-134 Heule M, van Maaren H
Journal Article A New Method to Construct Lower Bounds for Van der Waerden Numbers • Electronic Journal of Combinatorics • 14(1): Herwig PR, Heule MJH, Van Lambalgen PM, Van Maaren H
Conference Avoiding Monochromatic Rectangles Using Shift Patterns • Proceedings of the International Symposium on Combinatorial Search • 12(1):225-227 Liu Z, Chew L, Heule MJH
Journal Article March_dl: Adding Adaptive Heuristics and a New Branching Strategy • Journal of Satisfiability, Boolean Modeling and Computation • 2(1-4):47-59 Heule MJH, van Maaren H
Journal Article Parallel SAT Solving using Bit-level Operations1 • Journal of Satisfiability, Boolean Modeling and Computation • 4(2-4):99-116 Heule M, van Maaren H
Journal Article Reusing the Assignment Trail in CDCL Solvers • Journal of Satisfiability, Boolean Modeling and Computation • 7(4):133-138 van der Tak P, Ramos A, Heule M
Journal Article SAT Competition 2018 • Journal of Satisfiability, Boolean Modeling and Computation • 11(1):133-154 Heule MJH, Järvisalo M, Suda M
Journal Article Whose side are you on?1 • Journal of Satisfiability, Boolean Modeling and Computation • 4(2-4):117-148 Heule MJH, van Maaren H
