A Solver for a Nonlinear Fragment
Nonlinear Solver: Code and Examples
- A. Tiwari and P. Lincoln, "A Nonlinear Real Arithmetic Fragment".
pdf. In CAV 2014.
This page is maintained by Ashish Tiwari.
Return to the Formal Methods Program home page
Return to the Computer Science Laboratory home page