Graphs and Decidable Transductions Based on Edge Constraints (Extended Abstract).
Nils KlarlundMichael I. SchwartzbachPublished in: CAAP (1994)
Keyphrases
- extended abstract
- weighted graph
- undirected graph
- finite state
- geometric constraints
- edge information
- minimum spanning trees
- constraint satisfaction
- directed graph
- graph matching
- edge detection
- planar graphs
- constraint programming
- graph model
- bipartite graph
- graph theoretic
- edge weights
- query containment
- datalog queries
- social networks