@inproceedings{shoukry2017smc,
  title={SMC: satisfiability modulo convex optimization},
  author={Shoukry, Yasser and Nuzzo, Pierluigi and Sangiovanni-Vincentelli, Alberto L and Seshia, Sanjit A and Pappas, George J and Tabuada, Paulo},
  booktitle={Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control},
  pages={19--28},
  year={2017},
  organization={ACM},
  url={https://dl.acm.org/citation.cfm?id=3049819}
}

{"_id":"uPTAkJpyMFDaQkaqy","bibbaseid":"shoukry-nuzzo-sangiovannivincentelli-seshia-pappas-tabuada-smcsatisfiabilitymoduloconvexoptimization-2017","downloads":0,"creationDate":"2018-05-21T20:56:41.096Z","title":"SMC: satisfiability modulo convex optimization","author_short":["Shoukry, Y.","Nuzzo, P.","Sangiovanni-Vincentelli, A. L","Seshia, S. A","Pappas, G. J","Tabuada, P."],"year":2017,"bibtype":"inproceedings","biburl":"https://www.dyncps.org/uploads/8/0/6/8/8068963/references_final2.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"SMC: satisfiability modulo convex optimization","author":[{"propositions":[],"lastnames":["Shoukry"],"firstnames":["Yasser"],"suffixes":[]},{"propositions":[],"lastnames":["Nuzzo"],"firstnames":["Pierluigi"],"suffixes":[]},{"propositions":[],"lastnames":["Sangiovanni-Vincentelli"],"firstnames":["Alberto","L"],"suffixes":[]},{"propositions":[],"lastnames":["Seshia"],"firstnames":["Sanjit","A"],"suffixes":[]},{"propositions":[],"lastnames":["Pappas"],"firstnames":["George","J"],"suffixes":[]},{"propositions":[],"lastnames":["Tabuada"],"firstnames":["Paulo"],"suffixes":[]}],"booktitle":"Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control","pages":"19–28","year":"2017","organization":"ACM","url":"https://dl.acm.org/citation.cfm?id=3049819","bibtex":"@inproceedings{shoukry2017smc,\r\n title={SMC: satisfiability modulo convex optimization},\r\n author={Shoukry, Yasser and Nuzzo, Pierluigi and Sangiovanni-Vincentelli, Alberto L and Seshia, Sanjit A and Pappas, George J and Tabuada, Paulo},\r\n booktitle={Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control},\r\n pages={19--28},\r\n year={2017},\r\n organization={ACM},\r\n url={https://dl.acm.org/citation.cfm?id=3049819}\r\n}\r\n\r\n","author_short":["Shoukry, Y.","Nuzzo, P.","Sangiovanni-Vincentelli, A. L","Seshia, S. A","Pappas, G. J","Tabuada, P."],"key":"shoukry2017smc","id":"shoukry2017smc","bibbaseid":"shoukry-nuzzo-sangiovannivincentelli-seshia-pappas-tabuada-smcsatisfiabilitymoduloconvexoptimization-2017","role":"author","urls":{"Paper":"https://dl.acm.org/citation.cfm?id=3049819"},"downloads":0,"html":"","metadata":{"authorlinks":{}}},"search_terms":["smc","satisfiability","modulo","convex","optimization","shoukry","nuzzo","sangiovanni-vincentelli","seshia","pappas","tabuada"],"keywords":[],"authorIDs":[],"dataSources":["duW7N6zCCs7T9NwoJ"]}