Improving the accuracy of linear programming solvers with iterative refinement.
Ambros M. Gleixner, Daniel E. Steffy, Kati Wolter
Browse the full ISSAC paper archive.
Ambros M. Gleixner, Daniel E. Steffy, Kati Wolter
Browse the full ISSAC paper archive.