CalCS: SMT Solving for Non-linear Convex Constraints
Pierluigi Nuzzo, Alberto Puggelli, Sanjit A. Seshia, and Alberto L. Sangiovanni-Vincentelli. CalCS: SMT Solving for Non-linear Convex Constraints. Technical Report UCB/EECS-2010-100, EECS Department, University of California, Berkeley, 2010.
Download
Abstract
(unavailable)
BibTeX
@techreport{nuzzo-tr10, Author = {Nuzzo, Pierluigi and Puggelli, Alberto and Seshia, Sanjit A. and Sangiovanni-Vincentelli, Alberto L.}, Title = {{CalCS}: {SMT} Solving for Non-linear Convex Constraints}, Institution = {EECS Department, University of California, Berkeley}, Year = {2010}, Month = {June}, Number = {UCB/EECS-2010-100}, }