Schaefer's theorem for graphs

Manuel Bodirsky Michael Pinsker

Published in: CoRR (2010)

Keyphrases

graph matching
graph databases
structured objects
databases
similarity measure
graph theory
graph structure
graph mining
graph representation
graph theoretic
random graphs
von neumann
subgraph isomorphism
digital topology
interactive theorem proving