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

by R J J Bayardo, R C Schrag
Venue:In Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, Lecture Notes in Computer Science 1118