GOEDGEBEUR, J.; RADZISZOWSKI, S. P. New Computational Upper Bounds for Ramsey Numbers $R(3,k)$. The Electronic Journal of Combinatorics, v. 20, n. 1, p. P30, 5 Feb. 2013.