TY - CONF A1 - Cook, William A1 - Koch, Thorsten A1 - Steffy, Daniel A1 - Wolter, Kati A2 - Günlük, Oktay A2 - Woeginger, Gerhard T1 - An Exact Rational Mixed-Integer Programming Solver T2 - IPCO 2011 Y1 - 2011 UR - https://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/3265 VL - 6655 SP - 104 EP - 116 ER -