Publications by Marijn Heule

2012 • Journal of Automated Reasoning • 49(4):583-619
Jarvisalo M, Biere A, Heule MJH

2011 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 6695:216-229
Ramos A, van der Tak P, Heule MJH

2011 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 6695:367-368
Gableske O, Heule MJH

2011 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 6695:201-215
Heule MJH, Jarvisalo M, Biere A

2011 • Theory and Practice of Logic Programming • 11(1):126-130
Heule M

2010 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 6015:129-+
Jarvisalo M, Biere A, Heule M

2010 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 6397:357-+
Heule M, Jarvisalo M, Biere A

2010 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 6339:66-79
Heule MJH, Verwer S

2010 • Proceedings of the 24th Aaai Conference on Artificial Intelligence Aaai 2010 • 77-82
Heule M, Walsh T

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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 5584:223-236
Schaafsma B, Heule MJH, van Maaren H

2009 • Frontiers in Artificial Intelligence and Applications • 185(1):v-vi
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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 4501:258-+
Heule M, van Maaren H

2007 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 3542:145-156
Heule M, van Maaren H

2005 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 3542:345-359
Heule M, Dufour M, van Zwieten J, van Maaren H

2005 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 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