Nogood Recording for Static and Dynamic Constraint Satisfaction Problems (1993)

Cached

Download Links

by Thomas Schiex , Gérard Verfaillie
Venue:International Journal of Artificial Intelligence Tools
Citations:110 - 5 self

Documents Related by Co-Citation

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
360 GSAT and Dynamic Backtracking – Matthew L. Ginsberg, David A. McAllester - 1994
1000 Consistency in networks of relations – A K Mackworth - 1977
462 Increasing tree search efficiency for constraint satisfaction problems – Robert M Haralick, Gordon L Elliott - 1980
206 Contradicting Conventional Wisdom in Constraint Satisfaction – Daniel Sabin, Eugene C. Freuder - 1994
244 Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis – R M Stallman, G J Sussman - 1977
204 Using CSP look-back techniques to solve real-world SAT instances – Roberto J. Bayardo - 1997
45 Domain filtering can degrade intelligent backtracking – P Prosser - 1993
427 Partial Constraint Satisfaction – Eugene C. Freuder, Richard J. Wallace - 1992
287 Valued constraint satisfaction problems: Hard and easy problems – Thomas Schiex, Helene Fargier, Gerard Verfaillie - 1995
1084 A computing procedure for quantification theory – Martin Davis, Hilary Putnam - 1960
948 Constraint Networks – Rina Dechter - 1992
123 Constraint satisfaction algorithms – B A Nadel - 1989
246 Synthesizing constraint expressions – E C Freuder - 1978
424 Networks of constraints: Fundamental properties and applications to picture processing – U Montanari - 1974
683 A New Method for Solving Hard Satisfiability Problems – Bart Selman, Hector Levesque, David Mitchell - 1992
32 Solving combinatorial search problems by intelligent backtracking – M Bruynooghe - 1981