SMT-RAT: An SMT-compliant nonlinear real arithmetic toolbox

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

Bookmark the permalink.