[PPT] - Computing Crossing Numbers by Integer Programming Christoph Buchheim PowerPoint Presentation