SMC: Satisfiability modulo convex programmingSeptember 30, 2018/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 Pages2018-09-30 00:00:002024-05-02 09:08:54SMC: Satisfiability modulo convex programming