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’s PARC Forum is now a podcast
Episodes featuring guests such as Julie Packard, Eric Schmidt, and Astro Teller can now be streamed on podcasting apps.
-
With DomiNite®, extreme low-light imaging goes digital
A new camera from SRI is poised to disrupt the decades-long dominance of analog low-light imaging.
-
New research shows kids learn STEM skills from PBS KIDS
SRI research demonstrates that screen-based educational content can measurably improve how young children understand the world around them.