@inproceedings{CheungGleixnerSteffy2017, author = {Kevin K. H. Cheung and Ambros Gleixner and Daniel Steffy}, title = {Verifying Integer Programming Results}, booktitle = {F. Eisenbrand and J. Koenemann, eds., Integer Programming and Combinatorial Optimization: 19th International Conference, IPCO 2017}, volume = {10328}, pages = {148 -- 160}, doi = {10.1007/978-3-319-59250-3_13}, year = {2017}, }