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)
Contribution to a book, Contribution to a conference proceedings
In: 2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing : SYNASC 2021 : virtual conference, 7-10 December 2021 / editors: Carsten Schneider, Mircea Marin, Viorel Negru, Daniela Zaharie
Page(s)/Article-Nr.: 37-39
Identifier
- DOI: 10.1109/SYNASC54541.2021.00018
- RWTH PUBLICATIONS: RWTH-2022-04750