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

Documents Related by Co-Citation

12771 Computers and Intractability; A Guide to the Theory of NP-Completeness – M R Garey, D S Johnson - 1979
380 Hybrid Algorithms for the Constraint Satisfaction Problem – Patrick Prosser - 1993
385 GSAT and Dynamic Backtracking – Matthew L. Ginsberg, David A. McAllester - 1994
292 Enhancement schemes for constraint processing: Backjumping, learning, and cutset decomposition – R Dechter - 1990
1123 Consistency in networks of relations – A K Mackworth - 1977
518 Increasing tree search efficiency for constraint satisfaction problems – R Haralick, G Elliott - 1980
78 Dead-End Driven Learning – Daniel Frost, Rina Dechter - 1994
1112 Constraint Networks – Rina Dechter - 1992
1221 A computing procedure for quantification theory – M DAVIS, H PUTNAM - 1960