Erratum: P. van Beek and R. Dechter's theorem on constraint looseness and local consistency.
Yuanlin ZhangRoland H. C. YapPublished in: J. ACM (2003)
Keyphrases
- constraint graph
- constraint networks
- global constraints
- global consistency
- arc consistency
- constraint satisfaction problems
- constraint propagation
- path consistency
- consistency constraints
- cardinality constraints
- linear constraints
- constraint solvers
- constraint problems
- von neumann
- real time
- graph model
- database systems
- soft constraints
- temporal consistency
- temporal reasoning
- multiscale
- binary constraints
- information systems