Keyphrases
- path consistency
- constraint satisfaction problems
- constraint networks
- constraint problems
- constraint propagation
- constraint satisfaction
- maintaining arc consistency
- temporal reasoning
- arc consistency
- weighted constraint satisfaction
- consistency checking
- disjunctive constraints
- backtracking algorithm
- solving constraint satisfaction problems
- global consistency
- symmetry breaking
- cost function
- temporal consistency
- numeric data
- constraint graph
- search space
- temporal constraints
- np complete
- hypertree decomposition
- distributed constraint satisfaction
- np hard