A Computer-Assisted Proof of the Barnette-Goodey Conjecture: Not Only Fullerene Graphs Are Hamiltonian.

Frantisek Kardos

Published in: SIAM J. Discret. Math. (2020)

Keyphrases

computer assisted
computer aided
foreign language
graph matching
intraoperative
graph theory
graph theoretic
random graphs
surgical training
theorem prover
theorem proving
graph model
graph databases
graph partitioning
graph structure
directed graph
reading comprehension
pattern recognition