March_eq: Implementing Additional Reasoning into an Efficient Look-Ahead SAT Solver.

Marijn Heule Mark Dufour Joris van Zwieten Hans van Maaren March_eq: Implementing Additional Reasoning into an Efficient Look-Ahead SAT Solver. 345-359 2004 conf/sat/2004lncs SAT (Selected Papers http://dx.doi.org/10.1007/11527695_26 db/conf/sat/sat2004lncs.html#HeuleDZM04