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

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