TY - CONF A1 - Gleixner, Ambros A1 - Steffy, Daniel A1 - Wolter, Kati T1 - Improving the Accuracy of Linear Programming Solvers with Iterative Refinement T2 - ISSAC '12. Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation Y1 - 2012 UR - https://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/4840 SP - 187 EP - 194 ER -