Publications by Marijn Heule

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

2023 • International Journal on Software Tools for Technology Transfer • 25(2):167-184
Tan YK, Heule MJH, Myreen MO

2022 • Logical Methods in Computer Science • 18(2):
Baek S, Carneiro M, Heule MJH

2022 • Proceedings of the 22nd Conference on Formal Methods in Computer Aided Design Fmcad 2022 • 179-188
Lohn E, Lambert C, Heule MJH

2022 • Leibniz International Proceedings in Informatics • 235:
Heule MJH, Karahalios A, van Hoeve W-J

2022 • Leibniz International Proceedings in Informatics • 236:
Biere A, Chowdhury MS, Heule MJH, Kiesl B, Whalen MW

2022 • Leibniz International Proceedings in Informatics • 236:
Chew L, Heule MJH

2022 • Leibniz International Proceedings in Informatics • 236:
Subercaseaux B, Heule MJH

2021 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 12651:59-75
Baek S, Carneiro M, Heule MJH

2021 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 12699:468-484
Yolcu E, Aaronson S, Heule MJH

2021 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 12652:223-241
Tan YK, Heule MJH, Myreen MO

2021 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 12831:216-224
Heule MJH

2021 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 12699:433-449
Bryant RE, Heule MJH

2021 • PROCEEDINGS OF THE 18TH USENIX SYMPOSIUM ON NETWORKED SYSTEM DESIGN AND IMPLEMENTATION • 115-132
Hance T, Heule M, Martins R, Parno B

2021 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 12651:76-93
Bryant RE, Heule MJH

2021 • Frontiers in Artificial Intelligence and Applications • 1-1466
Biere A, Heule M, van Maaren H, Walsh T

2021 183-212
Heule MJH, van Maaren H

2021 • Journal of Symbolic Computation • 104:899-916
Heule MJH, Kauers M, Seidl M

2021 • Handbook of Satisfiability Second Edition • v-vi
Biere A, Heule M, van Maaren H, Walsh T

2021 • Frontiers in Artificial Intelligence and Applications • 336:V-VI
Biere A, Heule M, Van Maaren H, Walsh T

2021 vii-viii
Biere A, Heule M, van Maaren H, Walsh T

2021 • Frontiers in Artificial Intelligence and Applications • 336:VII-VIII
Biere A, Heule M, Van Maaren H, Walsh T

2021 • Frontiers in Artificial Intelligence and Applications • 635-668
Heule MJH

2021 • Artificial Intelligence • 301:
Froleyks N, Heule M, Iser A, Jarvisalo M, Suda M

2021 • Proceedings of the 21st Formal Methods in Computer Aided Design Fmcad 2021 • 231-240
Vukmirovic P, Blanchette J, Heule MJH