Improving the Accuracy of Linear Programming Solvers with Iterative Refinement
Author: | Ambros GleixnerORCiD, Daniel SteffyORCiD, Kati Wolter |
---|---|
Document Type: | In Proceedings |
Parent Title (English): | ISSAC '12. Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation |
First Page: | 187 |
Last Page: | 194 |
Year of first publication: | 2012 |
Preprint: | urn:nbn:de:0297-zib-15451 |
DOI: | https://doi.org/10.1145/2442829.2442858 |