Publications by Marijn Heule

2015 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 9450:444-459
Heule MJH, Biere A

2015 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 9195:591-606
Heule MJH, Hunt WAJ, Wetzler N

2015 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 9340:V-VI
Heule M, Weaver S

2015 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 9212:109-123
Reaz R, Ali M, Gouda MG, Heule MJH, Elmallah ES

2015 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 9340:
Heule M, Weaver S

2015 • Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence • 4322-4323
Heule MJH, Schaub T

2014 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 8562:91-106
Heule MJH, Seidl M, Biere A

2014 • Software Testing Verification and Reliability • 24(8):593-607
Heule MJH, Hunt WAJ, Wetzler N

2014 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 8561:422-429
Wetzler N, Heule MJH, Hunt WAJ

2014 • 2014 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD) • 107-114
Heule MJH, Seidl M, Biere A

2014 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 8561:317-332
Balyo T, Froehlich A, Heule MJH, Biere A

2014 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 8561:48-57
Belov A, Heule MJH, Marques-Silva J

2014 • EPiC series in computing • 27:12-13
Heule M, Manthey N, Philipp T

2013 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 7962:318-334
Heule MJH, Szeider S

2013 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 7857:102-117
Manthey N, Heule MJH, Biere A

2013 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 8312:423-438
Heule MJH, Biere A

2013 • EPiC series in computing • 13:41-34
Heule M, Järvisalo M, Biere A

2013 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 7745:164-183
Widl M, Biere A, Brosch P, Egly U, Heule M, Kappel G, Seidl M, Tompits H

2013 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 7998:229-244
Wetzler N, Heule MJH, Hunt WAJ

2013 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 7874:77-93
Heule MJH, Järvisalo M, Biere A

2013 • Empirical Software Engineering • 18(4):825-856
Heule MJH, Verwer S

2013 • Electronic Journal of Combinatorics • 20(3):
Hartman C, Heule MJH, Kwekkeboom K, Noels A

2013 • 2013 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD) • 181-188
Heule MJH, Hunt WAJ, Wetzler N

2013 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 7898:345-359
Heule MJH, Hunt WA, Wetzler N

2012 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 7317:475-476
van der Tak P, Heule MJH, Biere A