Publications Login
Home List all
WARNING: This page contains links to articles that may be covered by copyright. You may browse the articles at your convenience. (In the same spirit as you may read a journal or a proceeding article in a public library). Retrieving, copying, or distributing these files, however, may violate the copyright protection law. We recommend that the user abides international law in accessing this directory.
  • Norbert Manthey and Marijn J. H. Heule and Armin Biere (2012). Automated Reencoding of Boolean Formulas. In Proceedings of Haifa Verification Conference 2012. [ Bibtex ]
  • Peter van der Tak and Marijn J. H. Heule and Armin Biere (2012). Concurrent Cube-and-Conquer. In Pragmatics of SAT. [ Bibtex ]
  • Marijn J.H. Heule and Matti Järvisalo and Armin Biere (2010). Covered Clause Elimination. In Short paper proceedings of LPAR-17, 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Yogyakarta, Indonesia, October 10th - 15th, 2010. EasyChair Proceedings. [ Bibtex ]
  • Marijn J.H. Heule and Toby Walsh (2010). Internal Symmetry. In Pierre Flener and Justin Pearson (Eds.), The 10th International Workshop on Symmetry in Constraint Satisfaction Problems (SymCon'10), pp. 19-33. [ Bibtex ]
  • Marijn J.H. Heule and Hans van Maaren (2009). In Armin Biere and Marijn J.H. Heule and Hans van Maaren and Toby Walsh (Eds.) Look-Ahead Based SAT Solvers, Ch. 5, pp. 155-184. IOS Press. [ Bibtex ]
  • Hans van Maaren and Siert Wieringa (2008). Finding Guaranteed MUSes Fast. In Hans Kleine Büning, Hans and Xishun Zhao (Eds.), Theory and Applications of Satisfiability Testing – SAT 2008, pp. 291-304. Lecture Notes of Computer Science 4996, Springer. [ Bibtex ]
  • Henriette Bier and Adriaan de Jong and Gijs van der Hoorn and Niels Brouwers and Marijn J.H. Heule and Hans van Maaren (2008). In T.G. Wyeld and S. Kenderdine and M. Docherty (Eds.) Prototypes for Automated Architectural 3D-Layout, pp. 203-214. Springer Berlin / Heidelberg. [ Bibtex ]
BibTeX entries for this list