@inproceedings{MiltenbergerRalphsSteffy2018, author = {Matthias Miltenberger and Ted Ralphs and Daniel Steffy}, title = {Exploring the Numerics of Branch-and-Cut for Mixed Integer Linear Optimization}, booktitle = {Operations Research Proceedings 2017}, pages = {151 -- 157}, doi = {10.1007/978-3-319-89920-6}, year = {2018}, }