Back to Results
First PageMeta Content
Theoretical computer science / Mathematics / Logic in computer science / Constraint programming / Electronic design automation / Formal methods / NP-complete problems / Interpolation / Craig interpolation / Boolean satisfiability problem / Interval arithmetic / Local consistency


Interpolants in Nonlinear Theories over the Reals Sicun Gao and Damien Zufferey? MIT Revised on June 17, 2016.
Add to Reading List

Document Date: 2018-09-27 16:37:21


Open Document

File Size: 698,80 KB

Share Result on Facebook