A lazy SMT-solver for a non-linear subset of real algebra

by Erika Ábrahám, Ulrich Loup, Florian Corzilius, Thomas Sturm
Reference:
A lazy SMT-solver for a non-linear subset of real algebra (Erika Ábrahám, Ulrich Loup, Florian Corzilius, Thomas Sturm), In Proc. of SMT, 2010.
Bibtex Entry:
@article{abraham2010lazy,
  title={A lazy SMT-solver for a non-linear subset of real algebra},
  author={{'A}brah{'a}m, Erika and Loup, Ulrich and Corzilius, Florian and Sturm, Thomas},
  journal={Proc. of SMT},
  year={2010}
}

Bookmark the permalink.