Vertex Incremental Path Consistency for Qualitative Constraint Networks.
Michael SioutisJean-François CondottaPublished in: SETN (2014)
Keyphrases
- path consistency
- temporal reasoning
- global consistency
- constraint networks
- constraint propagation
- consistency checking
- constraint satisfaction
- arc consistency
- constraint reasoning
- constraint satisfaction problems
- topological relations
- convex constraints
- interval algebra
- ord horn
- point algebra
- directed graph
- objective function
- qualitative spatial reasoning
- constraint programming
- data structure
- maximal tractable
- three dimensional