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

by G Caporossi, P Hansen