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

by R Bayardo, R Schrag
Venue:In Proceedings of the 15th National Conference on Artificial Intelligence (AAAI-97