Publications by Marijn Heule

2005 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 3542:145-156
Heule M, van Maaren H

2005 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 3542:345-359
Heule M, Dufour M, van Zwieten J, van Maaren H

2005 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 3569:122-134
Heule M, van Maaren H

• Electronic Journal of Combinatorics • 14(1):
Herwig PR, Heule MJH, Van Lambalgen PM, Van Maaren H

• Proceedings of the International Symposium on Combinatorial Search • 12(1):225-227
Liu Z, Chew L, Heule MJH

• The journal of artificial intelligence research • 82:
Bryant RE, Nawrocki W, Avigad J, Heule MJH

• Journal of Satisfiability, Boolean Modeling and Computation • 2(1-4):47-59
Heule MJH, van Maaren H

• Journal of Satisfiability, Boolean Modeling and Computation • 4(2-4):99-116
Heule M, van Maaren H

• Journal of Satisfiability, Boolean Modeling and Computation • 7(4):133-138
van der Tak P, Ramos A, Heule M

• Journal of Satisfiability, Boolean Modeling and Computation • 11(1):133-154
Heule MJH, Järvisalo M, Suda M

• Journal of Satisfiability, Boolean Modeling and Computation • 4(2-4):117-148
Heule MJH, van Maaren H