Using csp look-back techniques to solve real world sat instances (1997)

by R C Schrag
Venue:In 14th National Conf. on Artificial Intelligence (AAAI97