CalCS: SMT solving for non-linear convex constraints.

Pierluigi Nuzzo Alberto Puggelli Sanjit A. Seshia Alberto L. Sangiovanni-Vincentelli

Published in: FMCAD (2010)

Keyphrases

convex constraints
convex programming
convex optimization
quadratic program
global consistency
pairwise
solving problems
linear constraints