Canonisation and Definability for Graphs of Bounded Rank Width.

Martin Grohe Daniel Neuen

Published in: CoRR (2019)

Keyphrases

graph matching
fixed point
graph representation
propositional logic
graph theoretic
series parallel
connected graphs
bounded treewidth
graph clustering
graph partitioning
subgraph isomorphism
rank order
databases
graph structure
graph theory
bipartite graph
information retrieval systems
knowledge base