A proof of the Meyniel conjecture for Abelian Cayley graphs.

Published in: Discret. Math. (2020)

Keyphrases

directed graph
graph theory
theorem prover
graph mining
real time
graph structure
spanning tree
graph partitioning
graph theoretic
adjacency matrix
linear logic
complete axiomatization