On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving.

Gereon Kremer, Erika brahm, Matthew England, James H. Davenport

Browse the full SYNASC paper archive.