| 2004 | ||
|---|---|---|
| 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 | Mark Dufour | [1] |
| 2 | Marijn Heule (M. J. H. Heule) | [1] |
| 3 | Hans van Maaren | [1] |