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.
Simplex with Sum of Infeasibilities for SMT
Read more from SRI
-
Celia Merzbacher: Fostering collaboration to advance the quantum industry
As the executive director of the Quantum Economic Development Consortium, Merzbacher plays a pivotal role in moving the quantum ecosystem forward.
-
SRI addresses the rural healthcare gap with AI innovation
SRI researchers are building an AI-driven system designed to upskill clinicians and transform rural healthcare delivery.
-
Cultivating hard tech startups that scale
IEEE’s Hard Tech Venture Summit convened innovators at SRI to refine strategies and build new networks.