Gebauer, H. Enumerating All Hamilton Cycles and Bounding the Number of Hamilton Cycles in 3-Regular Graphs. Electron. J. Combin. 2011, 18, P132.