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
-
Major NIH study helps families manage sleep and screentime
SRI Fellow Fiona Baker: Longitudinal research like the SRI-supported ABCD study is crucial for understanding how modern life shapes developing brains.
-
SRI and Global Innovation Labs deliver deep tech solutions to regional markets
The strategic partnership represents the next-gen approach to bridging science with rapid go-to-market strategies.
-
Achieving the potential of autonomous drones
Leveraging SRI navigation technology, Entropy Robotics aims to create safe, resilient autonomous platforms for defense, livestock management, disaster recovery, and much more.