Piwakowski, K. “Applying Tabu Search to Determine New Ramsey Graphs”. The Electronic Journal of Combinatorics, Vol. 3, no. 1, Jan. 1996, p. R6, doi:10.37236/1230.