Keyphrases
- path consistency
- temporal reasoning
- constraint networks
- constraint propagation
- global consistency
- constraint reasoning
- backtracking algorithms
- constraint satisfaction problems
- arc consistency
- consistency checking
- backtracking algorithm
- interval algebra
- constraint satisfaction
- computer vision
- maximal tractable
- linear programming
- ord horn
- reasoning tasks
- constraint graph
- tree decomposition
- temporal constraints
- constraint programming
- temporal information
- lower bound