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 appoints Robert Mandelbaum as Senior Vice President of Strategic Initiatives
Former Lockheed Martin ATL Managing Director and DARPA Program Manager to lead institute-wide high-growth programs.
-
SRI-spinout Wingsure helps coffee farms build consistent intelligence
The new smartphone platform gives growers a single, verified record across various programs.
-
Can 0.2% of your brain control how you sleep?
A rare class of neurons upends a century of thinking about how the brain produces sleep.