Using CSP Look-Back Techniques to Solve Real-World SAT Instances.

Roberto J. Bayardo Jr., Robert Schrag

Browse the full AAAI paper archive.