SMC: Satisfiability modulo convex optimization

January 19th, 2021