June 2018: Our paper titled ” SMC: Satisfiability Modulo Convex Programming” is accepted to appear in the Proceedings of the IEEE, 2018.
June 2018: Our paper titled ” SMC: Satisfiability Modulo Convex Programming” is accepted to appear in the Proceedings of the IEEE, 2018.