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

by R J Bayardo, R Schrag
Venue:In Freuder, E. C. (Ed.), Principles and Practice of Constraint Programming { CP96