Piwakowski, K. Applying Tabu Search to Determine New Ramsey Graphs. Electron. J. Combin. 1996, 3, R6.