Goedgebeur, J., and S. P. Radziszowski. “New Computational Upper Bounds for Ramsey Numbers $R(3,k)$”. The Electronic Journal of Combinatorics, Vol. 20, no. 1, Feb. 2013, p. P30, doi:10.37236/2824.