K. Piwakowski, “Applying Tabu Search to Determine New Ramsey Graphs”, Electron. J. Combin., vol. 3, no. 1, p. R6, Jan. 1996.