Konrad Piwakowski Applying Tabu Search to Determine New Ramsey Graphs. 1996 3 Electr. J. Comb. 1 http://www.combinatorics.org/Volume_3/Abstracts/v3i1r6.html db/journals/combinatorics/combinatorics3.html#Piwakowski96