@techreport{CookKochSteffyetal.2012, 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}, institution = {ZIB}, address = {Takustr. 7, 14195 Berlin}, number = {12-49}, language = {eng}, year = {2012} }