Using CSP look-back techniques to solve exceptionnaly hard SAT instances (1996)

by Robert Schrag
Venue:In CP'96