H. Gebauer, “Enumerating all Hamilton Cycles and Bounding the Number of Hamilton Cycles in 3-Regular Graphs”, Electron. J. Combin., vol. 18, no. 1, p. P132, Jun. 2011.