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
-
QED-C executive director named to the Quantum 100
Celia Merzbacher, executive director of the SRI-managed Quantum Economic Development Consortium, has been recognized for her role in strengthening the global quantum ecosystem.
-
New engines of technology-driven growth
Leveraging proven lab-to-market expertise, SRI is helping collaborators from Japan to New Jersey strengthen their science and technology ecosystems.
-
Vaalia Health: Causal AI for precision healthcare
With healthcare shifting toward at-home solutions, Vaalia Health is building on SRI’s AI innovations to make sure that efficient care is also effective care.