Using CSP Look-Back Techniques to Solve Exceptionally Hard SAT Instances (1996)

by Roberto J. Bayardo, Robert Schrag
Venue:Principles and Practice of Constraint Programming