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

Active Bibliography

28 Backtracking algorithms for constraint satisfaction problems – Rina Dechter, Daniel Frost - 1999
37 Backjump-based Backtracking for Constraint Satisfaction Problems – Rina Dechter, Daniel Frost - 2002
47 Intelligent Backtracking On Constraint Satisfaction Problems: Experimental And Theoretical Results – Andrew B. Baker - 1995
8 Intelligent Backtracking on the Hardest Constraint Problems – Andrew B. Baker - 1995
16 Lifted Search Engines for Satisfiability – Andrew J. Parkes - 1999
10 Backtracking Search Algorithms – Peter van Beek - 2006
A New Class of Hard 3-SAT Instances – unknown authors - 2005
51 Resolution versus Search: Two Strategies for SAT – Irina Rish, Rina Dechter - 2000
Chapter 2 Satisfiability Solvers – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman
24 Satisfiability Solvers – Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman - 2008
11 On the Relations between Intelligent Backtracking and Failure-driven Explanation Based Learning in Constraint Satisfaction and Planning – Subbarao Kambhampati - 1998
28 Random 3-SAT: The Plot Thickens – Cristian Coarfa , Demetrios D. Demopoulos, Alfonso San Miguel, Devika Subramanian, Moshe Y. Vardi - 2000
3 Combining satisfiability techniques from AI and OR – Heidi E. Dixon, Matthew L. Ginsberg - 2000
19 Statistical mechanics of combinatorial search – Tad Hogg - 1994
1 Compute-intensive methods in artificial intelligence – Bart Selman - 1997
8 Exploiting problem structure as a search heuristic – Tad Hogg - 1995
360 GSAT and Dynamic Backtracking – Matthew L. Ginsberg, David A. McAllester - 1994
161 Improvements To Propositional Satisfiability Search Algorithms – Jon William Freeman - 1995
21 Implicates and Prime Implicates in Random 3SAT – Robert Schrag, James M. Crawford - 1995