M. J. H. Heule
List of publications from the
| 2007 |
|---|
| 8 | EE | Marijn Heule,
Hans van Maaren:
From Idempotent Generalized Boolean Assignments to Multi-bit Search.
SAT 2007: 134-147 |
| 7 | EE | Marijn Heule,
Hans van Maaren:
Effective Incorporation of Double Look-Ahead Procedures.
SAT 2007: 258-271 |
| 6 | EE | 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) |
| 5 | EE | M. J. H. Heule,
Léon J. M. Rothkrantz:
Solving games: Dependence of applicable solving procedures.
Sci. Comput. Program. 67(1): 105-124 (2007) |
| 2005 |
|---|
| 4 | EE | Marijn Heule,
Hans van Maaren:
Observed Lower Bounds for Random 3-SAT Phase Transition Density Using Linear Programming.
SAT 2005: 122-134 |
| 2004 |
|---|
| 3 | EE | Marijn Heule,
Hans van Maaren:
Aligning CNF- and Equivalence-reasoning.
SAT 2004 |
| 2 | EE | Marijn Heule,
Hans van Maaren:
Aligning CNF- and Equivalence-Reasoning.
SAT (Selected Papers 2004: 145-156 |
| 1 | EE | 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 |
