Marijn J. H. Heule

Research Fellow
Department of Computer Sciences
The University of Texas at Austin

office: GDC building, room 7.714
email: firstname at cs dot utexas dot edu
homepage: http://www.cs.utexas.edu/~marijn
citations: google scholar citations
resume: pdf

Classes

- Practical Satisfiability Solving

Publications

2013
2012
  • Norbert Manthey and Marijn J. H. Heule and Armin Biere (2012). Automated Reencoding of Boolean Formulas. In Proceedings of Haifa Verification Conference 2012.
  • Peter van der Tak and Marijn J. H. Heule and Armin Biere (2012). Concurrent Cube-and-Conquer. In Pragmatics of SAT.
  • Matti Järvisalo and Marijn J. H. Heule and Armin Biere (2012). Inprocessing Rules. In 6th International Joint Conference, IJCAR, pp. 355-370. Lecture Notes in Computer Science 7364, Springer.
2011
2010
  • 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.
  • 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.
2009
  • 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.
2008
  • 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.
2007
2006
2005