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]
@inproceedings{KremerAED21,
title = {On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving},
author = {Gereon Kremer and Erika Ábrahám and Matthew England 0001 and James H. Davenport},
year = {2021},
doi = {10.1109/SYNASC54541.2021.00018},
url = {https://doi.org/10.1109/SYNASC54541.2021.00018},
researchr = {https://researchr.org/publication/KremerAED21},
cites = {0},
citedby = {0},
pages = {37-39},
booktitle = {23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021},
editor = {Carsten Schneider and Mircea Marin and Viorel Negru and Daniela Zaharie},
publisher = {IEEE},
isbn = {978-1-6654-0650-5},
}