Verifying Integer Programming Results.

Kevin K. H. Cheung, Ambros M. Gleixner, Daniel E. Steffy

Browse the full IPCO paper archive.