Login / Signup
SMC: Satisfiability Modulo Convex Programming.
Yasser Shoukry
Pierluigi Nuzzo
Alberto L. Sangiovanni-Vincentelli
Sanjit A. Seshia
George J. Pappas
Paulo Tabuada
Published in:
Proc. IEEE (2018)
Keyphrases
</>
convex programming
convex optimization
linear programming
interior point methods
primal dual
computational complexity
convex functions
semidefinite programming
kernel learning
machine learning
learning algorithm
feature extraction
objective function
optimal solution
training set