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

by R J Bayardo Jr, R C Schrag
Venue:Proc. 14th National Conk on Artificial Intelligence