J. Goedgebeur and S. P. Radziszowski, “New Computational Upper Bounds for Ramsey Numbers $R(3,k)$”, Electron. J. Combin., vol. 20, no. 1, p. P30, Feb. 2013.