Searching for "Using CSP Look-Back Techniques to Solve Exceptionally Hard SAT Instances." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Using CSP Look-Back Techniques to Solve Exceptionally Hard SAT Instances
by Roberto J. Bayardo, Robert Schrag — 1996 — Principles and Practice of Constraint Programming
…, 46-60, 1996. Using CSP Look-Back Techniques to Solve Exceptionally Hard SAT Instances Roberto J…
Cited by 28 (1 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB