Dynamic Backtracking with Constraint Propagation - Application to static and dynamic CSPs (original) (raw)
Related papers
Dynamic Backtracking with Constraint Propagation - Application to numeric CSPs
Dynamic Backtracking with Constraint Propagation
Chronological Backtracking versus Formal Methods for Solving CSPs
IC-AI, 2003
1 Constraint compiling into rules formalism for dynamic CSPs computing
2000
2000
Dynamic Global Constraints in Backtracking Based Environments
Annals of Operations Research - Annals OR, 2003
Intelligent backtracking in CLP(ℜ)
Annals of Mathematics and Artificial Intelligence, 1996
AbsCon: a prototype to solve CSPs with
S. Merchez, Christophe Lecoutre
Backtracking Algorithms for Constraint Satisfaction Problems
1999
Arc-consistency in dynamic CSPs is no more prohibitive
Proceedings of the International Conference on Tools with Artificial Intelligence, 1996
Consistency restoration and explanations in dynamic CSPs—Application to configuration
Artificial Intelligence, 2002
Solving binary CSP using computational systems
Electronic Notes in Theoretical Computer Science, 1996
Maintaining arc-consistency within dynamic backtracking
Principles and Practice of …, 2000
Assigning satisfaction values to constraints: an algorithm to solve dynamic meta-constraints
2001
Managing dynamic CSPs with preferences
Managing conditional and composite CSPs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2007
Dynamic algorithms for classes of constraint satisfaction problems
Theoretical computer …, 2001
Extended Partial-Order Dynamic Backtracking Algorithm for Dynamically Changed Environments
Y. Acodad, S. Hammoujan, E. Bouyakhf
2012 IEEE 24th International Conference on Tools with Artificial Intelligence, 2012
Algorithms for Constraint Satisfaction Problems (CSPs
Arc consistency for dynamic CSPs
… Based Intelligent Information and Engineering Systems, 2003
A Strategy Language for Solving CSPs
CPR for CSPs: A Probabilistic Relaxation of Constraint Propagation
2008 20th IEEE International Conference on Tools with Artificial Intelligence, 2008
Backjump-based backtracking for constraint satisfaction problems
Artificial Intelligence, 2002
Conditional and composite temporal CSPs
A theoretical evaluation of selected backtracking algorithms
1997
An Incremental Approach to Solving Dynamic Constraint Satisfaction Problems
Lecture Notes in Computer Science, 2012
New look-ahead schemes for constraint satisfaction
2004