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:111 - 5 self

Documents Related by Co-Citation

10958 D.S.: Computers and Intractibility: A Guide to the Theory of NP-Completeness – M R Garey, Johnson - 1979
347 Hybrid Algorithms for the Constraint Satisfaction Problem – Patrick Prosser - 1993
360 GSAT and Dynamic Backtracking – Matthew L. Ginsberg, David A. McAllester - 1994
270 Enhancement Schemes for Constraint Processing: Backjumping, Learning and Cutset Decomposition – R Dechter - 1990
75 Dead-End Driven Learning – Daniel Frost, Rina Dechter - 1994
1003 Consistency in networks of relations – A K Mackworth - 1977
459 Increasing tree search efficiency for constraint satisfaction problems – R M Haralick, G L Elliott - 1980
1072 A computing procedure for quantification theory – M Davis, H Putnam - 1960
945 Constraint Networks – Rina Dechter - 1992