by Florian Corzilius, Ulrich Loup, Sebastian Junges, Erika Ábrahám
Reference:
SMT-RAT: An SMT-compliant nonlinear real arithmetic toolbox (Florian Corzilius, Ulrich Loup, Sebastian Junges, Erika Ábrahám), Chapter in Theory and Applications of Satisfiability Testing–SAT 2012, Springer Berlin Heidelberg, 2012.
Bibtex Entry:
@incollection{corzilius2012smt, title={SMT-RAT: An SMT-compliant nonlinear real arithmetic toolbox}, author={Corzilius, Florian and Loup, Ulrich and Junges, Sebastian and {'A}brah{'a}m, Erika}, booktitle={Theory and Applications of Satisfiability Testing--SAT 2012}, pages={442--448}, year={2012}, publisher={Springer Berlin Heidelberg} }