F. J. de Ruiter and N. L. Biggs, “Applications of Integer Programming Methods to Cages”, Electron. J. Combin., vol. 22, no. 4, p. P4.35, Nov. 2015.