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}
}