@techreport{CheungGleixnerSteffy2016, author = {Kevin K. H. Cheung and Ambros Gleixner and Daniel Steffy}, title = {Verifying Integer Programming Results}, institution = {ZIB}, address = {Takustr. 7, 14195 Berlin}, number = {16-58}, language = {eng}, year = {2016} }