Publications by Marijn Heule

2010 • Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence • 77-82
Heule M, Walsh T

2009 • Lecture Notes in Computer Science • 5584:223-236
Schaafsma B, Heule MJH, van Maaren H

2009 • Frontiers in Artificial Intelligence and Applications • 185(1):
Biere A, Heule M, Maaren HV, Walsh T

2009 • Frontiers in Artificial Intelligence and Applications • 185:155-184
Heule MJH, van Maaren H

2009 • Belgian/Netherlands Artificial Intelligence Conference • 91-98
Heule MJH, Verwer S

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

2008 • Discrete Applied Mathematics • 156(10):1754-1779
van Maaren H, van Norden L, Heule MJH

2007 • Lecture Notes in Computer Science • 4501:258-+
Heule M, van Maaren H

2007 • Lecture Notes in Computer Science • 4501:134-+
Heule M, van Maaren H

2007 • Science of Computer Programming • 67(1):105-124
Heule MJH, Rothkrantz LJM

2005 • Lecture Notes in Computer Science • 3542:145-156
Heule M, van Maaren H

2005 • Lecture Notes in Computer Science • 3542:345-359
Heule M, Dufour M, van Zwieten J, van Maaren H

2005 • Lecture Notes in Computer Science • 3569:122-134
Heule M, van Maaren H

• Electronic Journal of Combinatorics • 14(1):
Herwig PR, Heule MJH, Van Lambalgen PM, Van Maaren H

• Proceedings of the International Symposium on Combinatorial Search • 12(1):225-227
Liu Z, Chew L, Heule MJH

• The journal of artificial intelligence research • 82:
Bryant RE, Nawrocki W, Avigad J, Heule MJH

• Journal of Satisfiability, Boolean Modeling and Computation • 2(1-4):47-59
Heule MJH, van Maaren H

• Journal of Satisfiability, Boolean Modeling and Computation • 4(2-4):99-116
Heule M, van Maaren H

• Journal of Satisfiability, Boolean Modeling and Computation • 7(4):133-138
van der Tak P, Ramos A, Heule M

• Journal of Satisfiability, Boolean Modeling and Computation • 11(1):133-154
Heule MJH, Järvisalo M, Suda M

• Journal of Satisfiability, Boolean Modeling and Computation • 4(2-4):117-148
Heule MJH, van Maaren H