@article{Davenport2020,
TITLE = {Symbolic Computation and Satisfiability Checking},
AUTHOR = {Davenport, James H. and England, Matthew and Griggio, Alberto and Sturm, Thomas and Tinelli, Cesare},
LANGUAGE = {eng},
ISSN = {0747-7171},
DOI = {10.1016/j.jsc.2019.07.017},
PUBLISHER = {Academic Press},
ADDRESS = {London},
YEAR = {2020},
DATE = {2020},
JOURNAL = {Journal of Symbolic Computation},
VOLUME = {100},
PAGES = {1--10},
}