Multiset variable representations and constraint propagation.
Yat Chiu LawJimmy Ho-Man LeeToby WalshMay H. C. WooPublished in: Constraints An Int. J. (2013)
Keyphrases
- constraint propagation
- finite domain
- constraint programming
- constraint reasoning
- constraint satisfaction problems
- constraint solving
- constraint satisfaction
- temporal constraints
- backtracking algorithms
- arc consistency
- tree search
- quantifier elimination
- constraint graph
- constrained problems
- search space
- systematic search
- soft constraints
- constraint solver
- linear programming
- constraint logic programming
- interval arithmetic
- interval analysis
- database systems
- russian doll search
- np complete
- low level
- np hard