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 Computer Mouse and Telepresence Surgery recognized with IEEE Milestones
Plaques honoring the invention that opened computing to everyone, and the robotic system that became the da Vinci surgical robot.
-
SRI marks 80 years: exploring what comes next
SRI looks ahead to an era of innovation that serves everyone.
-
Five years of building innovation readiness: SRI and Nomura Holdings celebrate NSIC milestone
NSIC has helped 25 Japanese companies develop the capabilities and connections to pursue new business opportunities.