M. J. H. Heule
List of publications from the DBLP Bibliography Server - FAQ
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 |
1 | Henriette Bier | [8] |
2 | Niels Brouwers | [8] |
3 | Mark Dufour | [1] |
4 | P. R. Herwig | [7] |
5 | Gijs van der Hoorn | [8] |
6 | Adriaan de Jong | [8] |
7 | P. M. van Lambalgen | [7] |
8 | Hans van Maaren | [1] [2] [3] [4] [5] [7] [8] [9] [10] [11] [12] [13] |
9 | Linda van Norden | [13] |
10 | Léon J. M. Rothkrantz | [6] |
11 | Joris van Zwieten | [1] |