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

Documents Related by Co-Citation

431 Planning as satisfiability – Henry Kautz, Bart Selman - 1992
374 GRASP: A Search Algorithm for Propositional Satisfiability – JoaƤo P. Marques-silva, Karem A. Sakallah - 1999
141 An Algorithm to Evaluate Quantified Boolean Formulae and its Experimental Evaluation – Marco Cadoli, Marco Schaerf, Massimo Giovanardi, Massimo Giovanardi - 1999
121 Automatic SAT-Compilation of Planning Problems – Michael D. Ernst, Todd D. Millstein, Daniel S. Weld - 1997
960 Fast Planning Through Planning Graph Analysis – Avrim L. Blum, Merrick L. Furst - 1995
315 Boosting combinatorial search through randomization – Carla P. Gomes - 1998
521 Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search – Henry Kautz, Bart Selman - 1996
742 A machine program for theorem proving – Martin Davis, George Logemann, Donald Loveland - 1962
76 Backjumping for Quantified Boolean Logic Satisfiability – Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella - 2001
194 SATO: an Efficient Propositional Prover – Hantao Zhang - 1997
142 Constructing Conditional Plans by a Theorem-Prover – Jussi Rintanen - 1999
33 Partial implicit unfolding in the davis-putnam procedure for quantified boolean formulae – Jussi Rintanen - 2001
55 Nonsystematic Backtracking Search – William D. Harvey, Matthew L. Ginsberg - 1995
203 Planning with Incomplete Information as Heuristic Search in Belief Space – Blai Bonet, Hector Geffner - 2000
120 Conformant Planning via Symbolic Model Checking and Heuristic Search – A. Cimatti, M. Roveri, P. Bertoli - 2003
609 A logic-based calculus of events – R Kowalski, M Sergot - 1986
360 GSAT and Dynamic Backtracking – Matthew L. Ginsberg, David A. McAllester - 1994
350 Hybrid Algorithms for the Constraint Satisfaction Problem – Patrick Prosser - 1993
178 A Structure-Preserving Clause Form Translation – D Plaisted, S Greenbaum - 1986