CalCS: SMT solving for non-linear convex constraints - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Pierluigi Nuzzo' in GoogleThis author has not been identified. Look up 'Alberto Puggelli' in GoogleThis author has not been identified. Look up 'Sanjit A. Seshia' in GoogleThis author has not been identified. Look up 'Alberto L. Sangiovanni-Vincentelli' in Google

runs on WebDSL