Diameter graphs of polygons and the proof of a conjecture of Graham.

Jim Foster Tamás Szabó

Published in: J. Comb. Theory, Ser. A (2007)

Keyphrases

graph matching
average degree
theorem prover
directed graph
structured objects
graph theoretic
graph theory
weighted graph
theorem proving
graph partitioning
graph mining
graph isomorphism
natural deduction
series parallel
graph representation
real time
clustering algorithm
data sets