A branch-and-cut approach to the crossing number problem.

Christoph Buchheim Markus Chimani Dietmar Ebner Carsten Gutwenger Michael Jünger Gunnar W. Klau Petra Mutzel René Weiskircher A branch-and-cut approach to the crossing number problem. 373-388 2008 5 Discrete Optimization 2 http://dx.doi.org/10.1016/j.disopt.2007.05.006 db/journals/disopt/disopt5.html#BuchheimCEGJKMW08