Incrementally Solving STNs by Enforcing Partial Path Consistency.
Léon PlankenMathijs de WeerdtNeil Yorke-SmithPublished in: ICAPS (2010)
Keyphrases
- path consistency
- global consistency
- backtracking algorithm
- singleton arc consistency
- temporal reasoning
- constraint networks
- constraint propagation
- constraint satisfaction problems
- consistency checking
- constraint reasoning
- arc consistency
- topological relations
- constraint satisfaction
- convex constraints
- temporal information
- constraint solver
- maximal tractable
- three dimensional