arXiv:1409.2440 [math.CO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords fullerene graphs, barnettes conjecture, computer-assisted proof, hamiltonian, planar cubic graphs Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset