Erika Ábrahám, Florian Corzilius, Ulrich Loup, Thomas Sturm. A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra. In Bernd Becker, Luca Cardelli, Holger Hermanns, Sofiène Tahar, editors, Verification over discrete-continuous boundaries, 04.07. - 09.07.2010. Volume 10271 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010. [doi]
Abstract is missing.