Schaafsma, Bas; Heule, Marijn J. H.; van Maaren, Hans Dynamic symmetry breaking by simulating Zykov contraction. (English) Zbl 1247.68260 Kullmann, Oliver (ed.), Theory and applications of satisfiability testing – SAT 2009. 12th international conference, SAT 2009, Swansea, UK, June 30–July 3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02776-5/pbk). Lecture Notes in Computer Science 5584, 223-236 (2009). MSC: 68T20 05C15 05C80 PDFBibTeX XMLCite \textit{B. Schaafsma} et al., Lect. Notes Comput. Sci. 5584, 223--236 (2009; Zbl 1247.68260) Full Text: DOI
Biere, Armin (ed.); Heule, Marijn (ed.); van Maaren, Hans (ed.); Walsh, Toby (ed.) Handbook of satisfiability. (English) Zbl 1183.68568 Frontiers in Artificial Intelligence and Applications 185. Amsterdam: IOS Press (ISBN 978-1-58603-929-5/hbk). xiii, 966 p. (2009). MSC: 68T20 68Q60 68-00 68T27 PDFBibTeX XMLCite \textit{A. Biere} (ed.) et al., Handbook of satisfiability. Amsterdam: IOS Press (2009; Zbl 1183.68568) Full Text: Link
Heule, Marijn J. H.; van Maaren, Hans Whose side are you on? Finding solutions in a biased search-tree. (English) Zbl 1170.68595 J. Satisf. Boolean Model. Comput. 4, No. 2-4, 117-148 (2008). MSC: 68T20 PDFBibTeX XMLCite \textit{M. J. H. Heule} and \textit{H. van Maaren}, J. Satisf. Boolean Model. Comput. 4, No. 2--4, 117--148 (2008; Zbl 1170.68595)
Heule, Marijn J. H.; van Maaren, Hans Parallel SAT solving using bit-level operations. (English) Zbl 1170.68594 J. Satisf. Boolean Model. Comput. 4, No. 2-4, 99-116 (2008). MSC: 68T20 PDFBibTeX XMLCite \textit{M. J. H. Heule} and \textit{H. van Maaren}, J. Satisf. Boolean Model. Comput. 4, No. 2--4, 99--116 (2008; Zbl 1170.68594)
van Maaren, Hans; Wieringa, Siert Finding guaranteed MUSes fast. (English) Zbl 1138.68555 Kleine Büning, Hans (ed.) et al., Theory and applications of satisfiability testing – SAT 2008. 11th international conference, SAT 2008, Guangzhou, China, May 12–15, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-79718-0/pbk). Lecture Notes in Computer Science 4996, 291-304 (2008). MSC: 68T20 PDFBibTeX XMLCite \textit{H. van Maaren} and \textit{S. Wieringa}, Lect. Notes Comput. Sci. 4996, 291--304 (2008; Zbl 1138.68555) Full Text: DOI
Heule, Marijn; van Maaren, Hans Effective incorporation of double look-ahead procedures. (English) Zbl 1214.68356 Marques-Silva, João (ed.) et al., Theory and applications of satisfiability testing – SAT 2007. 10th international conference, Lisbon, Portugal, May 28–31, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72787-3/pbk). Lecture Notes in Computer Science 4501, 258-271 (2007). MSC: 68T20 PDFBibTeX XMLCite \textit{M. Heule} and \textit{H. van Maaren}, Lect. Notes Comput. Sci. 4501, 258--271 (2007; Zbl 1214.68356) Full Text: DOI
Heule, Marijn; van Maaren, Hans From idempotent generalized Boolean assignments to multi-bit search. (English) Zbl 1214.68355 Marques-Silva, João (ed.) et al., Theory and applications of satisfiability testing – SAT 2007. 10th international conference, Lisbon, Portugal, May 28–31, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72787-3/pbk). Lecture Notes in Computer Science 4501, 134-147 (2007). MSC: 68T20 PDFBibTeX XMLCite \textit{M. Heule} and \textit{H. van Maaren}, Lect. Notes Comput. Sci. 4501, 134--147 (2007; Zbl 1214.68355) Full Text: DOI
Heule, Marijn J. H.; van Maaren, Hans March_dl: adding adaptive heuristics and a new branching strategy. (English) Zbl 1116.68085 J. Satisf. Boolean Model. Comput. 2, No. 1-4, 47-59 (2006). MSC: 68T20 PDFBibTeX XMLCite \textit{M. J. H. Heule} and \textit{H. van Maaren}, J. Satisf. Boolean Model. Comput. 2, No. 1--4, 47--59 (2006; Zbl 1116.68085)
Heule, Marijn; Dufour, Mark; van Zwieten, Joris; van Maaren, Hans March_eq: Implementing additional reasoning into an efficient look-ahead SAT solver. (English) Zbl 1122.68599 Hoos, Holger H. (ed.) et al., Theory and applications of satisfiability testing. 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10–13, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-27829-X/pbk). Lecture Notes in Computer Science 3542, 345-359 (2005). MSC: 68T20 PDFBibTeX XMLCite \textit{M. Heule} et al., Lect. Notes Comput. Sci. 3542, 345--359 (2005; Zbl 1122.68599) Full Text: DOI
Heule, Marijn; van Maaren, Hans Aligning CNF- and equivalence-reasoning. (English) Zbl 1122.68600 Hoos, Holger H. (ed.) et al., Theory and applications of satisfiability testing. 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10–13, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-27829-X/pbk). Lecture Notes in Computer Science 3542, 145-156 (2005). MSC: 68T20 PDFBibTeX XMLCite \textit{M. Heule} and \textit{H. van Maaren}, Lect. Notes Comput. Sci. 3542, 145--156 (2005; Zbl 1122.68600) Full Text: DOI
Heule, Marijn; van Maaren, Hans Observed lower bounds for random 3-SAT phase transition density using linear programming. (English) Zbl 1128.68466 Bacchus, Fahiem (ed.) et al., Theory and applications of satisfiability testing. 8th international conference, SAT 2005, St Andrews, UK, June 19–23, 2005. Proceedings. Berlin: Springer (ISBN 3-540-26276-8/pbk). Lecture Notes in Computer Science 3569, 122-134 (2005). MSC: 68T20 90C05 68Q25 PDFBibTeX XMLCite \textit{M. Heule} and \textit{H. van Maaren}, Lect. Notes Comput. Sci. 3569, 122--134 (2005; Zbl 1128.68466) Full Text: DOI
van Maaren, Hans; van Norden, Linda Sums of squares, satisfiability and maximum satisfiability. (English) Zbl 1128.68489 Bacchus, Fahiem (ed.) et al., Theory and applications of satisfiability testing. 8th international conference, SAT 2005, St Andrews, UK, June 19–23, 2005. Proceedings. Berlin: Springer (ISBN 3-540-26276-8/pbk). Lecture Notes in Computer Science 3569, 294-308 (2005). MSC: 68T20 90C22 PDFBibTeX XMLCite \textit{H. van Maaren} and \textit{L. van Norden}, Lect. Notes Comput. Sci. 3569, 294--308 (2005; Zbl 1128.68489) Full Text: DOI
van Maaren, Hans; van Norden, Linda Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances. (English) Zbl 1099.68104 Ann. Math. Artif. Intell. 44, No. 1-2, 157-177 (2005). MSC: 68T20 68T15 68T27 PDFBibTeX XMLCite \textit{H. van Maaren} and \textit{L. van Norden}, Ann. Math. Artif. Intell. 44, No. 1--2, 157--177 (2005; Zbl 1099.68104) Full Text: DOI
van Maaren, Hans; van Norden, Linda Hidden threshold phenomena for fixed-density SAT-formulae. (English) Zbl 1204.68214 Giunchiglia, Enrico (ed.) et al., Theory and applications of satisfiability testing. 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5–8, 2003. Selected revised papers. Berlin: Springer (ISBN 3-540-20851-8/pbk). Lect. Notes Comput. Sci. 2919, 135-149 (2004). MSC: 68T20 05C15 PDFBibTeX XMLCite \textit{H. van Maaren} and \textit{L. van Norden}, Lect. Notes Comput. Sci. 2919, 135--149 (2004; Zbl 1204.68214) Full Text: DOI