March_eq: Implementing Additional Reasoning into an Efficient Look-Ahead SAT Solver. - Marijn Heule; Mark Dufour; Joris E. van Zwieten; Hans van Maaren (SAT (Selected Papers, 2004)