Constrained Switching in Graphs: A Constructive Proof.

Callum Lowcay Stephen Marsland Catherine McCartin

Published in: SITIS (2013)

Keyphrases

graph matching
graph theory
graph structure
graph representation
theorem prover
graph theoretic
data mining
object recognition
directed graph
graph clustering
random graphs
graph structures
subgraph isomorphism