Tarik Viehmann, Gereon Kremer, Erika Ábrahám. Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving. In Matthew England, Vijay Ganesh, editors, Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation co-located with the 42nd International Symposium on Symbolic and Algebraic Computation (ISSAC 2017), Kaiserslautern, Germany, July 29, 2017. Volume 1974 of CEUR Workshop Proceedings, CEUR-WS.org, 2017. [doi]
Abstract is missing.