A short proof of a theorem on Hamiltonian graphs.

Published in: J. Graph Theory (1996)

Keyphrases

interactive theorem proving
graph matching
theorem prover
data mining
directed graph
graph structure
graph model
graph databases
complex structures
graph representation
database
spanning tree
random graphs