Reasoning with graph constraints.
Fernando OrejasHartmut EhrigUlrike PrangePublished in: Formal Aspects Comput. (2010)
Keyphrases
- graph structure
- graph model
- consistency checking
- graph theory
- graph representation
- connected components
- pairwise
- constrained optimization
- planar graphs
- global consistency
- reasoning tasks
- automated reasoning
- graphical representation
- weighted graph
- bipartite graph
- constraint satisfaction
- distributed constraint satisfaction
- graph mining
- constraint language
- constraint graph
- geometric constraints
- constraint programming
- structured data