A complexity analysis of space-bounded learning algorithms for the constraint satisfaction problem (1996)

Cached

Download Links

by Roberto J. Bayardo , Daniel P. Miranker
Venue:In Proceedings of the Thirteenth National Conference on Artificial Intelligence
Citations:77 - 2 self

Documents Related by Co-Citation

350 Hybrid Algorithms for the Constraint Satisfaction Problem – Patrick Prosser - 1993
360 GSAT and Dynamic Backtracking – Matthew L. Ginsberg, David A. McAllester - 1994
742 A machine program for theorem proving – Martin Davis, George Logemann, Donald Loveland - 1962
274 Enhancement schemes for constraint processing: Backjumping, learning, and cutset decomposition – Rina Dechter - 1990
204 Using CSP look-back techniques to solve real-world SAT instances – Roberto J. Bayardo - 1997
948 Constraint Networks – Rina Dechter - 1992
75 Dead-End Driven Learning – Daniel Frost, Rina Dechter - 1994
683 A New Method for Solving Hard Satisfiability Problems – Bart Selman, Hector Levesque, David Mitchell - 1992
244 Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis – R M Stallman, G J Sussman - 1977
397 Network-based heuristics for constraint satisfaction problems – R Dechter, J Pearl - 1987
202 Experimental Results on the Crossover Point in Satisfiability Problems – James M. Crawford, Larry D. Auton - 1993
161 Improvements To Propositional Satisfiability Search Algorithms – Jon William Freeman - 1995
143 Recursive conditioning – A Darwiche - 2000
80 Taking advantage of stable sets of variables in constraint satisfaction problems – Eugene C. Freuder, Michael J. Quinn - 1985
47 Intelligent Backtracking On Constraint Satisfaction Problems: Experimental And Theoretical Results – Andrew B. Baker - 1995
261 Tree clustering for constraint networks – R Dechter, J Pearl - 1989
115 Experimental Results on the Application of Satisfiability Algorithms to Scheduling Problems – James M. Crawford, Andrew B. Baker - 1994
1084 A computing procedure for quantification theory – Martin Davis, Hilary Putnam - 1960
1000 Consistency in networks of relations – A K Mackworth - 1977