Keyphrases
- path consistency
- temporal reasoning
- constraint networks
- constraint propagation
- global consistency
- constraint reasoning
- consistency checking
- constraint satisfaction
- backtracking algorithms
- arc consistency
- constraint satisfaction problems
- convex constraints
- interval algebra
- constraint programming
- search algorithm
- maximal tractable
- topological relations
- backtracking algorithm
- reinforcement learning
- tractable classes
- three dimensional