Algorithms for Constraint Satisfaction Problems: A Survey (1992)

Cached

Download Links

by Vipin Kumar
Venue:AI MAGAZINE
Citations:368 - 0 self

Active Bibliography

4 Hard, flexible and dynamic constraint satisfaction – Ian Miguel, Qiang Shen - 1999
127 Algorithms for the Satisfiability (SAT) Problem: A Survey – Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah - 1996
47 Intelligent Backtracking On Constraint Satisfaction Problems: Experimental And Theoretical Results – Andrew B. Baker - 1995
19 Dynamic Flexible Constraint Satisfaction and its Application to AI Planning – Ian Miguel - 2001
R̩seaux De Contraintes РThomas Schiex - 2000
5 A Method of Program Understanding using Constraint Satisfaction for Software Reverse Engineering – Steven Woods - 1996
427 Partial Constraint Satisfaction – Eugene C. Freuder, Richard J. Wallace - 1992
28 Backtracking algorithms for constraint satisfaction problems – Rina Dechter, Daniel Frost - 1999
Chapter 4 Constraint Programming – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Francesca Rossi, Peter Van Beek, Toby Walsh
37 Backjump-based Backtracking for Constraint Satisfaction Problems – Rina Dechter, Daniel Frost - 2002
948 Constraint Networks – Rina Dechter - 1992
161 Improvements To Propositional Satisfiability Search Algorithms – Jon William Freeman - 1995
Constraint Programming – The Constraint Programming Working Group - 1996
Constraint Programming – The Constraint Programming
2 Constraint Programming: Strategic Directions – Pascal van Hentenryck, Vijay Saraswat - 1997
137 Reasoning about Qualitative Temporal Information – Peter Van Beek - 1992
33 Intelligent Backtracking Techniques for Job Shop Scheduling – Yalin Xiong, Norman Sadeh, Katia Sycara - 1992
13 Forward Checking with Backmarking – Patrick Prosser - 1993
Consistency Techniques in Constraint Networks – Yuanlin Zhang - 2003