Roberto J. Bayardo Jr. Robert Schrag Using CSP Look-Back Techniques to Solve Exceptionally Hard SAT Instances. 46-60 1996 conf/cp/1996 CP db/conf/cp/cp96.html#BayardoS96