Combining Precision Boosting with LP Iterative Refinement for Exact Linear Optimization

Leon Eifler, Jules Nicolas-Thouvenin, Ambros Gleixner

This article studies a combination of the two state-of-the-art algorithms for the exact solution of linear programs (LPs) over the rational numbers, i.e., without any roundoff erro…