Publications by Marijn Heule

• 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