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

577 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
218 Hard and Easy Distributions of SAT Problems – David Mitchell, Bart Selman, Hector Levesque - 1992
346 Hybrid Algorithms for the Constraint Satisfaction Problem – Patrick Prosser - 1993
271 Enhancement schemes for constraint processing: backjumping, learning, and cutset decomposition – R Dechter - 1990
75 Dead-End Driven Learning – Daniel Frost, Rina Dechter - 1994
78 Easy Problems are Sometimes Hard – Ian Gent, Toby Walsh - 1994
49 An Empirical Analysis of Search in GSAT – Ian Gent, Toby Walsh - 1993
113 Finding Hard Instances of the Satisfiability Problem: A Survey – Stephen A. Cook, David G. Mitchell - 1997
359 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
1075 A computing procedure for quantification theory – Martin Davis, Hilary Putnam - 1960
680 A New Method for Solving Hard Satisfiability Problems – Bart Selman, Hector Levesque, David Mitchell - 1992
42 Sparse Constraint Graphs and Exceptionally Hard Problems – Barbara M. Smith, Stuart A. Grant - 1994
740 A machine program for theorem proving – Martin Davis, George Logemann, Donald Loveland - 1962
114 Experimental Results on the Application of Satisfiability Algorithms to Scheduling Problems – James M. Crawford, Andrew B. Baker - 1994
77 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