SMC: Satisfiability Modulo Convex Programming

January 19th, 2021