lichengzhang1 / k2-hamiltonian-graphs Goto Github PK
View Code? Open in Web Editor NEWThis project forked from jarnerenders/k2-hamiltonian-graphs
This repository contains four programs which were created for the article "J. Goedgebeur, J. Renders, G. Wiener and C.T. Zamfirescu, K2-Hamiltonian Graphs: II, manuscript", as well as some certificates that can be used to verify some of the computer-aided proofs in this article.
License: Other