Marijn Heule

M. J. H. Heule

	2010
17		Matti Järvisalo, Armin Biere, Marijn Heule: Blocked Clause Elimination. TACAS 2010: 129-144
	2009
16		Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh: Handbook of Satisfiability IOS Press 2009
15		Bas Schaafsma, Marijn Heule, Hans van Maaren: Dynamic Symmetry Breaking by Simulating Zykov Contraction. SAT 2009: 223-236
14		Marijn Heule, Hans van Maaren: Look-Ahead Based SAT Solvers. Handbook of Satisfiability 2009: 155-184
	2008
13		Hans van Maaren, Linda van Norden, M. J. H. Heule: Sums of squares based approximation algorithms for MAX-SAT. Discrete Applied Mathematics 156(10): 1754-1779 (2008)
12		Marijn Heule, Hans van Maaren: Whose side are you on? Finding solutions in a biased search-tree. JSAT 4(2-4): 117-148 (2008)
11		Marijn Heule, Hans van Maaren: Parallel SAT Solving using Bit-level Operations. JSAT 4(2-4): 99-116 (2008)
	2007
10		Marijn Heule, Hans van Maaren: From Idempotent Generalized Boolean Assignments to Multi-bit Search. SAT 2007: 134-147
9		Marijn Heule, Hans van Maaren: Effective Incorporation of Double Look-Ahead Procedures. SAT 2007: 258-271
8		Henriette Bier, Adriaan de Jong, Gijs van der Hoorn, Niels Brouwers, Marijn Heule, Hans van Maaren: Prototypes for Automated Architectural 3D-Layout. VSMM 2007: 203-214
7		P. R. Herwig, M. J. H. Heule, P. M. van Lambalgen, Hans van Maaren: A New Method to Construct Lower Bounds for Van der Waerden Numbers. Electr. J. Comb. 14(1): (2007)
6		M. J. H. Heule, Léon J. M. Rothkrantz: Solving games: Dependence of applicable solving procedures. Sci. Comput. Program. 67(1): 105-124 (2007)
	2006
5		Marijn Heule, Hans van Maaren: March_dl: Adding Adaptive Heuristics and a New Branching Strategy. JSAT 2(1-4): 47-59 (2006)
	2005
4		Marijn Heule, Hans van Maaren: Observed Lower Bounds for Random 3-SAT Phase Transition Density Using Linear Programming. SAT 2005: 122-134
	2004
3		Marijn Heule, Hans van Maaren: Aligning CNF- and Equivalence-reasoning. SAT 2004
2		Marijn Heule, Hans van Maaren: Aligning CNF- and Equivalence-Reasoning. SAT (Selected Papers 2004: 145-156
1		Marijn Heule, Mark Dufour, Joris van Zwieten, Hans van Maaren: March_eq: Implementing Additional Reasoning into an Efficient Look-Ahead SAT Solver. SAT (Selected Papers 2004: 345-359

Coauthor Index

1	Henriette Bier	[8]
2	Armin Biere	[16] [17]
3	Niels Brouwers	[8]
4	Mark Dufour	[1]
5	P. R. Herwig	[7]
6	Gijs van der Hoorn	[8]
7	Matti Järvisalo	[17]
8	Adriaan de Jong	[8]
9	P. M. van Lambalgen	[7]
10	Hans van Maaren	[1] [2] [3] [4] [5] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16]
11	Linda van Norden	[13]
12	Léon J. M. Rothkrantz	[6]
13	Bas Schaafsma	[15]
14	Toby Walsh	[16]
15	Joris van Zwieten	[1]

Colors in the list of coauthors