Automatic Proof of Graph Nonisomorphism.

Arjeh M. Cohen Jan Willem Knopper Scott H. Murray

Published in: Math. Comput. Sci. (2008)

Keyphrases

graph theory
random walk
semi automatic
fully automatic
graph structure
website
graph theoretic
bipartite graph
dependency graph
data sets
graph structures
graph representation
graph model
theorem proving
graph matching
structured data
data driven
special case
lower bound