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 spins out Ravenswood Solutions
Ravenswood delivers high-fidelity training experiences to improve military readiness and performance.
-
Building the next generation of electronics
SRI’s cleanroom offers clients the ability to develop new devices, build prototypes, work with experts, and run small-scale manufacturing.
-
PARC Forum: The AI boom and its impact on society
Bloomberg’s Parmy Olson joined SRI’s Patrick Lincoln to discuss the future of AI and her new book, Supremacy: AI, ChatGPT, and the Race that Will Change the World.