Variable neighborhood search for extremal graphs, V, Three ways to automate finding conjectures, Discrete Math (2004)

by G Caporossi, P Hansen