Path Consistency by Dual Consistency.
Christophe LecoutreStéphane CardonJulien VionPublished in: CP (2007)
Keyphrases
- path consistency
- temporal reasoning
- global consistency
- constraint networks
- constraint propagation
- consistency checking
- constraint satisfaction
- arc consistency
- constraint satisfaction problems
- topological relations
- constraint reasoning
- interval algebra
- temporal constraints
- backtracking algorithm
- convex constraints
- primal dual
- qualitative spatial reasoning
- ord horn
- non binary
- qualitative and quantitative