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 |

