SMC: Satisfiability Modulo Convex Optimization.
Yasser ShoukryPierluigi NuzzoAlberto L. Sangiovanni-VincentelliSanjit A. SeshiaGeorge J. PappasPaulo TabuadaPublished in: HSCC (2017)
Keyphrases
- convex optimization
- low rank
- interior point methods
- computational complexity
- primal dual
- basis pursuit
- convex optimization problems
- convex relaxation
- convex programming
- total variation
- augmented lagrangian
- norm minimization
- alternating direction method of multipliers
- operator splitting
- computer vision
- multiresolution
- low rank matrix
- convex formulation
- pairwise
- semidefinite program