Canonisation and Definability for Graphs of Bounded Rank Width.

Martin Grohe Daniel Neuen

Published in: ACM Trans. Comput. Log. (2023)

Keyphrases

propositional logic
fixed point
bounded treewidth
graph theoretic
graph construction
pattern recognition
graph matching
graph theory
data sets
graph mining
series parallel
connected graphs
structured objects
rank aggregation
graph databases
graph model
weighted graph
graph structure