SMC: Satisfiability Modulo Convex OptimizationApril 29, 2017/in Uncategorized/by Academic Web Pages https://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.png 0 0 Academic Web Pages https://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.png Academic Web Pages2017-04-29 00:00:002017-04-29 00:00:00SMC: Satisfiability Modulo Convex Optimization