Publications by Marijn Heule

2021 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 12831:417-435
Nawrocki W, Liu Z, Froehlich A, Heule MJH, Biere A

2020 • EPiC series in computing • 73:373-355
Oostema P, Martins R, Heule M

2020 • Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence • 34:1668-1675
Weaver SA, Heule MJH

2020 • ICCAD / IEEE/ACM International Conference on Computer-Aided Design. IEEE/ACM International Conference on Computer-Aided Design
Sweeney J, Heule MJH, Pileggi L

2020 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 12178:201-217
Yolcu E, Wu X, Heule MJH

2020 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 12178 LNCS:201-217
Yolcu E, Wu X, Heule MJH

2020 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 12078 LNCS:vii-ix
Biere A, Parker D, Heule M, Howar F, Beyer D, Hartmanns A, Seidl M

2020 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 12079 LNCS:vii-ix
Heule M, Howar F, Beyer D, Hartmanns A, Seidl M, Biere A, Parker D

2020 • EPiC series in computing • 73:483-467
Sweeney J, Heule MJH, Pileggi L

2020 • Journal of Automated Reasoning • 64(7):1247-1267
Kiesl B, Rebola-Pardo A, Heule MJH, Biere A

2020 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 12178:1-10
Chew L, Heule MJH

2020 • Journal of Automated Reasoning • 64(3):533-554
Heule MJH, Kiesl B, Biere A

2020 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 12166:48-65
Brakensiek J, Heule M, Mackey J, Narvaez D

2019 • ACM Communications in Computer Algebra • 53(3):118-121
Heule M, Kauers M, Seidl M

2019 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 11460:204-210
Heule MJH, Kiesl B, Biere A

2019 • Theoretical Computer Science • 785:17-29
Breik K, Thachuk C, Heule M, Soloveichik D

2019 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 11427:41-58
Heule MJH, Kiesl B, Biere A

2019 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 11628:155-163
Heule MJH, Kauers M, Seidl M

2019 • Mathematics in Computer Science • 13(4):533-548
Heule MJH

2019 • EPiC series in computing • 59:111-194
Biere A, Heule M

2019 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 11802:251-267
Heule MJH

2019 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 11781:48-64
Kiesl B, Heule MJH, Biere A

2018 31-59
Heule MJH, Kullmann O, Biere A

2018 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 10900:516-531
Kiesl B, Rebola-Pardo A, Heule MJH

2018 • Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence • 6598-6606
Heule MJH