@inproceedings{GleixnerSteffyWolter2012, author = {Ambros Gleixner and Daniel Steffy and Kati Wolter}, title = {Improving the Accuracy of Linear Programming Solvers with Iterative Refinement}, booktitle = {ISSAC '12. Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation}, pages = {187 -- 194}, doi = {10.1145/2442829.2442858}, year = {2012}, }