R. Aldred, G. Brinkmann, and B. Mckay, Barnette's Conjecture

D. W. Barnette, Conjecture 5, Tutte, W. T., Recent Progress in Combinatorics: Proceedings of the Third Waterloo Conference on Combinatorics, 1968.

J. Bosák, Hamiltonian lines in cubic graphs, Proc. International Seminar on Graph Theory and Applications, pp.33-46, 1966.

G. Brinkmann, Fast generation of cubic graphs, J. Graph Theory, vol.23, issue.2, pp.139-149, 1996.

J. P. Georges, Non-Hamiltonian Bicubic Graphs, J. Comb. Theory, Series B, vol.46, pp.121-124, 1989.

M. Haythorpe, Non-Hamiltonian 3-Regular Graphs with Arbitrary Girth, Univ. J. Applied Math, vol.2, pp.72-78, 2014.

W. Hochstättler, A flow theory for the dichromatic number, Eur. J. Combin, vol.66, pp.160-167, 2017.

J. D. Horton, On two-factors of bipartite regular graphs, Disc. Math, vol.41, issue.1, pp.35-41, 1982.

D. A. Holton, B. Manvel, and B. D. Mckay, Hamiltonian cycles in cubic 3-connected bipartite planar graphs, J. Comb. Theory, Series B, vol.38, issue.3, pp.279-297, 1985.

D. A. Holton and B. D. Mckay, The smallest non-Hamiltonian 3-connected cubic planar graphs have 38 vertices, J. Comb. Theory, Series B, vol.45, 1988.

A. K. Kelmans, Cubic bipartite cyclic 4-connected graphs without Hamiltonian circuits, Russian, vol.43, pp.181-182, 1988.

Z. Li and B. Mohar, Planar digraphs of digirth four are 2-colourable, SIAM J. Discrete Math, vol.31, issue.3, pp.2201-2205, 2017.

E. Má?ajová and J. Mazák, Cubic Graphs with Large Circumference Deficit, J. Graph Theory, vol.82, pp.433-440, 2016.

B. Mckay, Various plane graphs

V. Neumann-lara, Vertex colourings in digraphs. Some Problems, 1985.

W. T. Tutte, On Hamiltonian circuits, J. Lond. Math. Soc, vol.21, pp.98-101, 1946.

W. T. Tutte, On the 2-factors of bicubic graphs, Disc. Math, vol.1, pp.203-208, 1971.

, The Sage Development Team, Sage Mathematics Software, 2017.