Using csp look-back techniques to solve exceptionally hard sat instances (1996)

by Robert Schrag
Venue:Proc. of the Second Int. Conf. on Principles and Practice of Constraint Programming, CP’96