Gereon Kremer, Erika Ábrahám, Matthew England 0001, James H. Davenport. On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving. In Carsten Schneider, Mircea Marin, Viorel Negru, Daniela Zaharie, editors, 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021. pages 37-39, IEEE, 2021. [doi]
Abstract is missing.