Simplex with Sum of Infeasibilities for SMT

Citation

King, T., Barrett, C., & Dutertre, B. (2013, 20-23 October). Simplex with sum of infeasibilities for SMT. Paper presented at the 2013 Formal Methods in Computer-Aided Design (FMCAD ’13), Portland, OR.

↓ View online

Read more from SRI

  • A rendering of the Parker Solar Probe inside the sun's corona.

    Parker Solar Probe: Our closest look at the sun

    SRI imaging technology supports a record-shattering NASA mission.

  • A photo of Mary Wagner

    Recognizing the life and work of Mary Wagner 

    A cherished SRI colleague and globally respected leader in education research, Mary Wagner leaves behind an extraordinary legacy of groundbreaking work supporting children and youth with disabilities and their families.

  • Testing XRGo in a robotics laboratory

    Robots in the cleanroom

    A global health leader is exploring how SRI’s robotic telemanipulation technology can enhance pharmaceutical manufacturing.