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

Kremer, Gereon (Corresponding author); Ábrahám, Erika (Corresponding author); England, Matthew (Corresponding author); Davenport, James H. (Corresponding author)

Piscataway, NJ : IEEE (2021, 2022)
Contribution to a book, Contribution to a conference proceedings

In: 2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
Page(s)/Article-Nr.: 37-39