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 researchers develop rugged, low-cost, drifting sensors to learn more about the oceans
PEARL drifters pack an array of sensors into a compact autonomous device to gather data and signs of activity.
-
An SRI collaboration aims to improve online education for college students
The Postsecondary Teaching with Technology Collaborative aims to strengthen teaching and learning, improve student outcomes, and reduce societal gaps.
-
Exploring the American Dream: A Lively Discussion on Innovation and Progress
Watch the video: A conversation with SRI’s David Parekh and David Leonhardt of the New York Times.