Variable neighborhood search for extremal graphs. 5. Three ways to automate finding conjectures - Caporossi, Gilles; Hansen, Pierre (Discrete Applied Mathematics, 2004)