Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving.

Tarik Viehmann, Gereon Kremer, Erika brahm

Browse the full ISSAC paper archive.