Arc-Consistency in Dynamic Constraint Satisfaction Problems.
Christian BessièrePublished in: AAAI (1991)
Keyphrases
- dynamic constraint satisfaction problems
- constraint satisfaction problems
- arc consistency
- constraint satisfaction
- constraint programming
- constraint propagation
- max csp
- arc consistency algorithm
- arithmetic constraints
- np complete
- constraint networks
- non binary
- search space
- soft constraints
- global constraints
- forward checking
- branch and bound search
- solving constraint satisfaction problems
- np hard
- worst case time complexity
- constraint reasoning
- maintaining arc consistency
- finite domain
- constraint graph
- binary constraints
- constraint solver
- search problems