Deciding First-Order Properties of Locally Tree-Decomposalbe Graphs.

Markus Frick Martin Grohe

Published in: ICALP (1999)

Keyphrases

tree structure
convex constraints
higher order
graph theory
graph structure
minimum spanning trees
graph matching
graph properties
spanning tree
maximal cliques
reachability queries
neural network
constraint graph
tree search
minimum spanning tree
constraint propagation
structural properties
data structure