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’s Princeton campus to host HAX Plasma Forge
The new venture program, focused on plasma science, will join an innovation ecosystem where SRI is advancing AI, quantum, photonics, and other next-generation technologies.
-
Quantum networking is moving out of the lab
Researchers are harnessing quantum behavior to create secure networks that will define the next communications era.
-
SRI tapped by Japanese government to establish venture initiative and attract researchers
Japan’s Global Startup Campus Initiative aims to promote innovation acceleration for deep technology startups making a global impact.