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
-
Tokyu Land Corporation and SRI Advance Japan’s “Global Startup Campus” Initiative
Collaboration pairs SRI’s Silicon Valley venture-building expertise with TLC’s Shibuya real estate network to grow Japan’s deep tech startup ecosystem.
-
A new science teaching assistant, powered by AI
SRI’s LOVE Science project integrates education expertise, LLMs, and video to make science relevant and effective for students.
-
SRI’s Self-Cooling Paint earns a spot in WEF’s global tech report
Passive radiative cooling among the world’s most consequential emerging technologies of 2026.