@article{CookKochSteffyetal.2013, author = {William Cook and Thorsten Koch and Daniel Steffy and Kati Wolter}, title = {A hybrid branch-and-bound approach for exact rational mixed-integer programming}, journal = {Mathematical Programming Computation}, volume = {5}, number = {3}, pages = {305 -- 344}, doi = {10.1007/s12532-013-0055-6}, year = {2013}, }