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 celebrates International Women’s Day
To recognize International Women’s Day, SRI shares the stories of four women whose work delivered fundamental advances in computer science.
-
The hidden cost of springing forward
Daylight Savings Time is more than just an hour lost. How can we better prepare ourselves?
-
SRI becomes a founding member of the OCUDU Ecosystem Foundation
Hosted by the Linux Foundation, the OCUDU Ecosystem Foundation will build an open-source, AI-native software stack for 5G and early 6G Radio Access Networks.