Using CSP Look-Back Techniques to Solve Exceptionally Hard SAT Instances (1996)

Cached

Download Links

by Roberto J. Bayardo , Robert Schrag
Venue:Principles and Practice of Constraint Programming
Citations:36 - 2 self