Fast Consistency Checking of Very Large Real-World RCC-8 Constraint Networks Using Graph Partitioning.
Charalampos NikolaouManolis KoubarakisPublished in: AAAI (2014)
Keyphrases
- constraint networks
- consistency checking
- graph partitioning
- temporal reasoning
- path consistency
- arc consistency
- constraint satisfaction problems
- temporal constraints
- graph model
- tree decomposition
- weighted graph
- image segmentation
- interval algebra
- temporal information
- constraint programming
- constraint satisfaction
- spectral clustering
- qualitative and quantitative
- data clustering
- clustering algorithm
- data mining
- query answering
- constraint propagation
- high level
- databases
- cardinal directions
- qualitative spatial reasoning
- maximal tractable
- superpixels