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:34 - 1 self

Document Versions

Using CSP Look-Back Techniques to Solve Exceptionally Hard SAT Instances –Roberto J. Bayardo, Robert Schrag — 1996 — Principles and Practice of Constraint Programming
Using CSP Look-Back Techniques to Solve Exceptionally Hard SAT Instances –R.J. Bayardo — 1996