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 LNCS: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
Journal Article A new method to construct lower bounds for Van der Waerden numbers 2007 • Electronic Journal of Combinatorics • 14(1 R):1-18 Herwig PR, Heule MJH, Van Lambalgen PM, Van Maaren H
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 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
