Variable neighborhood search for extremal graphs, 1. The AutoGraphix system, Discrete Mathematics 212 (2000)

by G Caporossi, P Hansen