1 paper · 1 filter
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…