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

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