2 papers
math.OC2021
A Computational Status Update for Exact Rational Mixed Integer Programming
Leon Eifler, Ambros Gleixner
The last milestone achievement for the roundoff-error-free solution of general mixed integer programs over the rational numbers was a hybrid-precision branch-and-bound algorithm pu…
math.CO2018
A Safe Computational Framework for Integer Programming applied to Chvátal's Conjecture
Leon Eifler, Ambros Gleixner, Jonad Pulaj
We describe a general and safe computational framework that provides integer programming results with the degree of certainty that is required for machine-assisted proofs of mathem…