Pierluigi Nuzzo, Alberto Puggelli, Sanjit A. Seshia, Alberto L. Sangiovanni-Vincentelli. CalCS: SMT solving for non-linear convex constraints. In Roderick Bloem, Natasha Sharygina, editors, Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23. pages 71-79, IEEE, 2010. [doi]
@inproceedings{NuzzoPSS10, title = {CalCS: SMT solving for non-linear convex constraints}, author = {Pierluigi Nuzzo and Alberto Puggelli and Sanjit A. Seshia and Alberto L. Sangiovanni-Vincentelli}, year = {2010}, url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5770935}, tags = {constraints}, researchr = {https://researchr.org/publication/NuzzoPSS10}, cites = {0}, citedby = {0}, pages = {71-79}, booktitle = {Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23}, editor = {Roderick Bloem and Natasha Sharygina}, publisher = {IEEE}, }