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
-
SRI unveils transformative new brand identity
The innovative new brand marks more than 75 years of world-changing technologies, services, and ideas.
-
SRI researchers look to optimize special education services using AI
An intelligent anonymization system for individualized education programs (IEPs) could support best practices in special education.
-
An SRI aerogel aims to sponge up CO2 from air and exhaust
A new sorbent could remove CO2 from ambient air better than other known materials and has the potential to lower the cost of carbon capture.