Steven T. Stewart, Derek Rayside, Vijay Ganesh, Krzysztof Czarnecki. Accelerating the General Simplex Procedure for Linear Real Arithmetic via GPUs. In Sandrine Blazy, Marsha Chechik, editors, Verified Software. Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers. Volume 9971 of Lecture Notes in Computer Science, pages 129-138, 2016. [doi]
Abstract is missing.