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
-
Zero-energy cooling named a WEF top 10 emerging technology
Passive radiative cooling, a technology that beams heat into space without using electricity, moves from lab to rooftop.
-
Case study: Edge AI deployment gets simpler with Latent AI
2018 SRI spinout helps developers compress, secure, and deploy AI models at the edge.
-
SRI scientist Thomas Kilduff and team recognized for their seminal contributions to the hypocretin/orexin system
The team was awarded the SCNi Academic Prize Medal at the University of Oxford.