Keyphrases
- path consistency
- temporal reasoning
- constraint networks
- global consistency
- constraint propagation
- backtracking algorithms
- constraint reasoning
- constraint satisfaction problems
- topological relations
- interval algebra
- consistency checking
- convex constraints
- arc consistency
- qualitative spatial reasoning
- temporal constraints
- constraint satisfaction
- bayesian networks
- backtracking algorithm
- maximal tractable
- data structure