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

Documents Related by Co-Citation

576 Where the really hard problems are – Peter Cheeseman, Bob Kanefsky, William M. Taylor - 1991
88 The hardest constraint problems: A double phase transition – Tad Hogg, Colin Williams - 1994
219 Hard and Easy Distributions of SAT Problems – David Mitchell, Bart Selman, Hector Levesque - 1992
350 Hybrid Algorithms for the Constraint Satisfaction Problem – Patrick Prosser - 1993
274 Enhancement schemes for constraint processing: Backjumping, learning, and cutset decomposition – Rina Dechter - 1990
75 Dead-End Driven Learning – Daniel Frost, Rina Dechter - 1994
79 Easy Problems are Sometimes Hard – Ian Gent, Toby Walsh - 1994
114 Finding Hard Instances of the Satisfiability Problem: A Survey – Stephen A. Cook, David G. Mitchell - 1997
49 An Empirical Analysis of Search in GSAT – Ian Gent, Toby Walsh - 1993
360 GSAT and Dynamic Backtracking – Matthew L. Ginsberg, David A. McAllester - 1994
283 and easy distributions of sat problems – Hard - 1992
33 The Satisfiability Constraint Gap – Ian P. Gent, Toby Walsh - 1996
1084 A computing procedure for quantification theory – Martin Davis, Hilary Putnam - 1960
683 A New Method for Solving Hard Satisfiability Problems – Bart Selman, Hector Levesque, David Mitchell - 1992
43 Sparse Constraint Graphs and Exceptionally Hard Problems – Barbara M. Smith, Stuart A. Grant - 1994
742 A machine program for theorem proving – Martin Davis, George Logemann, Donald Loveland - 1962
115 Experimental Results on the Application of Satisfiability Algorithms to Scheduling Problems – James M. Crawford, Andrew B. Baker - 1994
80 A complexity analysis of space-bounded learning algorithms for the constraint satisfaction problem – Roberto J. Bayardo, Daniel P. Miranker - 1996
32 Random generation of test instances with controlled attributes – Y ASAHIRO, K IWAMA, E MIYANO - 1996