CalCS: SMT solving for non-linear convex constraints.

Pierluigi Nuzzo, Alberto Puggelli, Sanjit A. Seshia, Alberto L. Sangiovanni-Vincentelli

Browse the full FMCAD paper archive.