Publications by Marijn Heule

2018 46-66
Heule MJH, Kullmann O

2018 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 10806:75-92
Heule MJH, Biere A

2017 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 10491:281-297
Kiesl B, Heule MJH, Seidl M

2017 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 10395:220-236
Cruz-Filipe L, Heule MJH, Hunt WAJ, Kaufmann M, Schneider-Kamp P

2017 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 10499:269-284
Heule M, Hunt WJ, Kaufmann M, Wetzler N

2017 • EPiC series in computing • 50:1-5
Heule M

2017 • EPiC series in computing • 51:42-37
Moore J, Heule M

2017 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 10629:179-194
Heule MJH, Kiesl B, Seidl M, Biere A

2017 • Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence • 5061-5063
Balyo T, Heule MJH, Jarvisalo M

2017 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 10395:130-147
Heule MJH, Kiesl B, Biere A

2017 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 10375:129-138
Fazekas K, Heule MJH, Seidl M, Biere A

2017 • Journal of Automated Reasoning • 58(1):97-125
Heule MJH, Seidl M, Biere A

2017 • IJCAI International Joint Conference on Artificial Intelligence • 4864-4868
Heule MJH, Kullmann O, Marek VW

2017 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 10206:3-20
Wustholz V, Olivo O, Heule MJH, Dillig I

2017 • EPiC series in computing • 51:51-46
Heule M, Kiesl B

2017 • Communications of the ACM • 60(8):70-79
Heule MJH, Kullmann O

2016 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 10083 LNCS:190-194
Heule MJH, Reaz R, Acharya HB, Gouda MG

2016 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 10083:190-194
Heule MJH, Reaz R, Acharya HB, Gouda MG

2016 • EPiC series in computing • 40:21-14
Heule M, Biere A

2016 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 9710:196-211
Cuong CK, Heule MJH

2016 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 9710:228-245
Heule MJH, Kullmann O, Marek VW

2016 149-156
Heule MJH

2015 • ACM Transactions on Computational Logic • 16(3):
Heule MJH, Szeider S

2015 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 9058:436-442
Heule MJH, Seidl M, Biere A

2015 • The journal of artificial intelligence research • 53:127-168
Heule M, Jarvisalo M, Lonsing F, Seidl M, Biere A