M. J. H. Heule
List of publications from the
2008 |
13 | EE | 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 | EE | 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 | EE | Marijn Heule,
Hans van Maaren:
Parallel SAT Solving using Bit-level Operations.
JSAT 4(2-4): 99-116 (2008) |
2007 |
10 | EE | Marijn Heule,
Hans van Maaren:
From Idempotent Generalized Boolean Assignments to Multi-bit Search.
SAT 2007: 134-147 |
9 | EE | Marijn Heule,
Hans van Maaren:
Effective Incorporation of Double Look-Ahead Procedures.
SAT 2007: 258-271 |
8 | EE | 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 | 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) |
6 | 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) |
2006 |
5 | EE | Marijn Heule,
Hans van Maaren:
March_dl: Adding Adaptive Heuristics and a New Branching Strategy.
JSAT 2(1-4): 47-59 (2006) |
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 |