SMC: Satisfiability Modulo Convex Optimization
Yasser Shoukry, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Paulo Tabuada, George Pappas

Citation
Yasser Shoukry, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Paulo Tabuada, George Pappas. "SMC: Satisfiability Modulo Convex Optimization". Talk or presentation, October, 2016; Poster presented at the 2016 TerraSwarm Annual Meeting.

Abstract
(No abstract.)

Electronic downloads


Internal. This publication has been marked by the author for TerraSwarm-only distribution, so electronic downloads are not available without logging in.
Citation formats  
  • HTML
    Yasser Shoukry, Pierluigi Nuzzo, Alberto
    Sangiovanni-Vincentelli, Sanjit Seshia, Paulo Tabuada,
    George Pappas. <a
    href="http://www.terraswarm.org/pubs/888.html"><i>SMC:
    Satisfiability Modulo Convex
    Optimization</i></a>, Talk or presentation, 
    October, 2016; Poster presented at the <a
    href="http://terraswarm.org/conferences/16/annual"
    >2016 TerraSwarm Annual Meeting</a>.
  • Plain text
    Yasser Shoukry, Pierluigi Nuzzo, Alberto
    Sangiovanni-Vincentelli, Sanjit Seshia, Paulo Tabuada,
    George Pappas. "SMC: Satisfiability Modulo Convex
    Optimization". Talk or presentation,  October, 2016;
    Poster presented at the <a
    href="http://terraswarm.org/conferences/16/annual"
    >2016 TerraSwarm Annual Meeting</a>.
  • BibTeX
    @presentation{ShoukryNuzzoSangiovanniVincentelliSeshiaTabuadaPappas16_SMCSatisfiabilityModuloConvexOptimization,
        author = {Yasser Shoukry and Pierluigi Nuzzo and Alberto
                  Sangiovanni-Vincentelli and Sanjit Seshia and
                  Paulo Tabuada and George Pappas},
        title = {SMC: Satisfiability Modulo Convex Optimization},
        month = {October},
        year = {2016},
        note = {Poster presented at the <a
                  href="http://terraswarm.org/conferences/16/annual"
                  >2016 TerraSwarm Annual Meeting</a>.},
        abstract = {(No abstract.)},
        URL = {http://terraswarm.org/pubs/888.html}
    }
    

Posted by Yasser Shoukry on 3 Nov 2016.
Groups: services

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.