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

Marijn Heule, Mark Dufour, Joris E. van Zwieten, Hans van Maaren

Browse the full SAT paper archive.