Keyphrases
- path consistency
- temporal reasoning
- constraint networks
- constraint propagation
- global consistency
- backtracking algorithms
- constraint satisfaction
- constraint reasoning
- constraint satisfaction problems
- consistency checking
- arc consistency
- interval algebra
- topological relations
- convex constraints
- special case
- backtracking algorithm
- temporal constraints
- search space