William J. Cook, Thorsten Koch, Daniel E. Steffy, Kati Wolter: An Exact Rational Mixed-Integer Programming Solver. IPCO 2011: 104-116