by Erika Abraham, Ulrich Loup, Bernd Becker, Valeria Bertacoo, Rolf Drechsler, Masahiro Fujita
Reference:
SMT-Solving for the First-Order Theory of the Reals (Erika Abraham, Ulrich Loup, Bernd Becker, Valeria Bertacoo, Rolf Drechsler, Masahiro Fujita), In Algorithms, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Germany$, 2010.
Bibtex Entry:
@article{abraham2010smt,
title={SMT-Solving for the First-Order Theory of the Reals},
author={Abraham, Erika and Loup, Ulrich and Becker, Bernd and Bertacoo, Valeria and Drechsler, Rolf and Fujita, Masahiro},
journal={Algorithms},
year={2010},
publisher={Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Germany$}
}