Publications by Marijn Heule

2025 • Leibniz International Proceedings in Informatics • 341:
Bryant RE, Tan YK, Heule MJH

2025 • CEUR Workshop Proceedings • 4008:148-152
Shah A, Zhou Y, Heule M, Parno B

2025 • Formal Methods in Computer Aided Design Fmcad • 115-125
Shah A, Byrnes T, Reeves J, Heule MJH

2025 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 15698 LNCS:v-ix
Gurfinkel A, Heule M, Kaufmann D, Santolucito M, Beyer D, Strejček J

2025 • Leibniz International Proceedings in Informatics • 341:
Battleman Z, Reeves JE, Heule MJH

2025 • Journal of Automated Reasoning • 69(2):12
Michaelson D, Schreiber D, Heule MJH, Kiesl-Reiter B, Whalen MW

2025 • Leibniz International Proceedings in Informatics • 341:
Sheng A, Reeves JE, Heule MJH

2025 • CEUR Workshop Proceedings • 4008:153-167
Pollitt F, Fleury M, Biere A, Heule M, Sakallah K, Chen J, Fisseha Y

2025 • Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence • 11327-11335
Reeves JE, Filipe J, Hsu M-C, Martins R, Heule MJH

2024 • Leibniz International Proceedings in Informatics • 309:
Subercaseaux B, Nawrocki W, Gallicchio J, Codel C, Carneiro M, Heule MJH

2024 • Leibniz International Proceedings in Informatics • 291:
Garrison T, Heule MJH, Subercaseaux B

2024 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 14740 LNAI:v-vi
Benzmüller C, Heule MJH, Schmidt RA

2024 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 14739 LNAI:v-vi
Benzmüller C, Heule MJH, Schmidt RA

2024 • Leibniz International Proceedings in Informatics • 305:
Yang J, Kharkov YA, Shi Y, Heule MJH, Dutertre B

2024 • Formal Methods in Computer Aided Design Fmcad • 175-185
Nukala KV, Choudhuri S, Bryant RE, Heule MJH

2024 • Formal Methods in Computer Aided Design Fmcad • 186-196
Codel CR, Avigad J, Heule MJH

2023 • Journal of Automated Reasoning • 67(2):
Yolcu E, Aaronson S, Heule MJH

2023 • Leibniz International Proceedings in Informatics • 271:
Bryant RE, Nawrocki W, Avigad J, Heule MJH

2023 • Leibniz International Proceedings in Informatics • 271:
Haberlandt A, Green H, Heule MJH

2023 • Leibniz International Proceedings in Informatics • 251:
Yolcu E, Heule MJH

2023 • 2023 FORMAL METHODS IN COMPUTER-AIDED DESIGN, FMCAD • 178-188
Zhou Y, Bosamiya J, Takashima Y, Li J, Heule M, Parno B

2023 • Journal of Automated Reasoning • 67(3):
Reeves JE, Heule MJH, Bryant RE

2023 • CEUR Workshop Proceedings • 3545:72-87
Biere A, Fleury M, Froleyks N, Heule MJH

2023 • EPiC series in computing • 94:386-366
Subercaseaux B, Heule M

2023 • 2023 FORMAL METHODS IN COMPUTER-AIDED DESIGN, FMCAD • 141-151
Codel CR, Avigad J, Heule MJH