Spatial geometric constraint solving based on k-connected graph decomposition.
Gui-Fang ZhangXiao-Shan GaoPublished in: SAC (2006)
Keyphrases
- constraint solving
- constraint logic programming
- neighborhood graph
- constraint propagation
- connected components
- constraint satisfaction problems
- constraint satisfaction
- spatial information
- graph theoretical
- constraint solver
- tree decomposition
- graph structure
- structural learning
- topological information
- directed graph
- connected graphs
- graph theory
- constraint programming
- random walk
- consistency check
- spatio temporal
- graph construction
- directed acyclic graph
- spatial data
- spatial configurations
- weighted graph
- dynamic programming
- finite domain
- np hard