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 research aims to make generative AI more trustworthy
Researchers have developed a new framework that reduces generative AI hallucinations by up to 32%.
-
Transforming matter: Researchers create perfect crystals from amorphous blobs
SRI aims to create a new electronic device class made of two or more semiconductors.
-
2024 at SRI: A year of breakthroughs
Delivering world-changing solutions for a safer, healthier, and more sustainable future.