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
-
PARC Forum: The future of defense technologies
Silicon Valley is paying close attention to the defense sector. SRI convened a conversation exploring new opportunities to advance security through innovation.
-
Cale Gentry: Steering light, tracking lasers, and going quantum
Gentry explores how SRI research is pushing the envelope of photonics, optics, and quantum technologies.
-
Raising young children alongside companion AIs: Are we ready for the consequences?
SRI’s Todd Grindal makes the case for putting child development science at the center of AI design.