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. In Proceedings of the IEEE International Conference on Formal Methods in Computer-Aided Design (FMCAD), pp. 71–79, October 2010.
Download
Abstract
(unavailable)
BibTeX
@InProceedings{nuzzo-fmcad10, Author = {Nuzzo, Pierluigi and Puggelli, Alberto and Seshia, Sanjit A. and Sangiovanni-Vincentelli, Alberto L.}, Title = {{CalCS}: {SMT} Solving for Non-linear Convex Constraints}, booktitle = {Proceedings of the IEEE International Conference on Formal Methods in Computer-Aided Design (FMCAD)}, month = "October", year = {2010}, pages = "71--79", }