Making Bound Consistency as Effective as Arc Consistency.
Christian BessiereThierry PetitBruno ZanuttiniPublished in: IJCAI (2009)
Keyphrases
- arc consistency
- path consistency
- constraint networks
- max csp
- consistency checking
- maintaining arc consistency
- space complexity
- constraint satisfaction problems
- constraint satisfaction
- singleton arc consistency
- constraint propagation
- soft constraints
- global constraints
- upper bound
- inverse consistency
- binary constraints
- temporal reasoning
- branch and bound search
- constraint graph
- generalized arc consistency
- solving constraint satisfaction problems
- worst case