@inproceedings{CookKochSteffyetal.2011, author = {William Cook and Thorsten Koch and Daniel Steffy and Kati Wolter}, title = {An Exact Rational Mixed-Integer Programming Solver}, booktitle = {IPCO 2011}, editor = {Oktay G{\"u}nl{\"u}k and Gerhard Woeginger}, volume = {6655}, pages = {104 -- 116}, doi = {10.1007/978-3-642-20807-2_9}, year = {2011}, }