@article{BCEGJetal2008
, author    = {Christoph Buchheim and
               Markus Chimani and
               Dietmar Ebner and
               Carsten Gutwenger and
               Michael J{\"u}nger and
               Gunnar W. Klau and
               Petra Mutzel and
               Ren{\'e} Weiskircher}
, title     = {A Branch-and-Cut Approach to the Crossing Number Problem}
, journal   = {Discrete Optimization}
, volume    = {5}
, number    = {2}
, year      = {2008}
, pages     = {373--388}
, doi       = {10.1016/j.disopt.2007.05.006}
}