%0 Conference Paper %1 conf/fmcad/NuzzoPSS10 %A Nuzzo, Pierluigi %A Puggelli, Alberto %A Seshia, Sanjit A. %A Sangiovanni-Vincentelli, Alberto L. %B FMCAD %D 2010 %E Bloem, Roderick %E Sharygina, Natasha %I IEEE %K %P 71-79 %T CalCS: SMT solving for non-linear convex constraints. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2010.html#NuzzoPSS10 %@ 978-0-9835678-0-6

@inproceedings{conf/fmcad/NuzzoPSS10, added-at = {2023-12-14T15:38:28.000+0100}, author = {Nuzzo, Pierluigi and Puggelli, Alberto and Seshia, Sanjit A. and Sangiovanni-Vincentelli, Alberto L.}, biburl = {https://www.bibsonomy.org/bibtex/256869b6a891c021aefef54b7b3b31420/admin}, booktitle = {FMCAD}, crossref = {conf/fmcad/2010}, editor = {Bloem, Roderick and Sharygina, Natasha}, ee = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5770935}, interhash = {edb69d2f01cde5271c43c9d59ab7be29}, intrahash = {56869b6a891c021aefef54b7b3b31420}, isbn = {978-0-9835678-0-6}, keywords = {}, pages = {71-79}, publisher = {IEEE}, timestamp = {2023-12-14T15:38:28.000+0100}, title = {CalCS: SMT solving for non-linear convex constraints.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2010.html#NuzzoPSS10}, year = 2010 }