Kevin K. H. Cheung, Ambros M. Gleixner, Daniel E. Steffy: Verifying Integer Programming Results. IPCO 2017: 148-160