An Exact Rational Mixed-Integer Programming Solver (2011)

by W Cook, T Koch, D Steffy, K Wolter
Venue:In IPCO