An Exact Rational Mixed-Integer Programming Solver.

William J. Cook, Thorsten Koch, Daniel E. Steffy, Kati Wolter

Browse the full IPCO paper archive.