Using CSP look-back techniques to solve real-world SAT instances (1997)

by R J Bayardo, R C Schrag
Venue:In Proceedings of the Fourteenth National Conference on Artificial Intelligence (AAAI’97