Using CSP Look-Back Techniques to Solve Real-World SAT Instances (1997)

Cached

Download Links

by Roberto Bayardo Jr , Robert C. Schrag
Citations:40 - 0 self

Active Bibliography

34 Using CSP Look-Back Techniques to Solve Exceptionally Hard SAT Instances – Roberto J. Bayardo, Robert Schrag - 1996
47 Counting models using connected components – Roberto J. Bayardo, J. D. Pehoushek - 2000
50 Resolution versus Search: Two Strategies for SAT – Irina Rish, Rina Dechter - 2000
28 Backtracking algorithms for constraint satisfaction problems – Rina Dechter, Daniel Frost - 1999
Parallel Heuristic Search in Haskell – Michelle Cope, Ian Gent, Kevin Hammond
11 On the Relations between Intelligent Backtracking and Failure-driven Explanation Based Learning in Constraint Satisfaction and Planning – Subbarao Kambhampati - 1998
1 Abstraction and the CSP Phase Transition Boundary – Robert Schrag, Daniel Miranker - 1995
37 Backjump-based Backtracking for Constraint Satisfaction Problems – Rina Dechter, Daniel Frost - 2002
148 Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems – Carla P. Gomes, Bart Selman, Henry Kautz - 2000
48 Intelligent Backtracking On Constraint Satisfaction Problems: Experimental And Theoretical Results – Andrew B. Baker - 1995
6 Restart-repair and Learning: An empirical study of single solution 3-SAT problems – Thomas Richards, Barry Richards - 1997
73 Backjumping for Quantified Boolean Logic Satisfiability – Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella - 2001
359 GSAT and Dynamic Backtracking – Matthew L. Ginsberg, David A. McAllester - 1994
94 Bridging the gap between planning and scheduling РDavid E. Smith, Jeremy Frank, Ari K. Jónsson
11 Non-systematic Search and Learning: An empirical study – E. Thomas Richards, Barry Richards - 1998
16 Extending forward checking – Fahiem Bacchus - 2000
4 Maintenance Scheduling Problems as Benchmarks for Constraint Algorithms – Daniel Frost, Rina Dechter
14 The search for Satisfaction – Ian P. Gent, Toby Walsh - 1999
A New Class of Hard 3-SAT Instances – Marko Znidaric - 2005