@techreport{MiltenbergerRalphsSteffy2017, author = {Matthias Miltenberger and Ted Ralphs and Daniel Steffy}, title = {Exploring the Numerics of Branch-and-Cut for Mixed Integer Linear Optimization}, institution = {ZIB}, address = {Takustr. 7, 14195 Berlin}, number = {17-43}, language = {eng}, year = {2017} }