Login / Signup
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