Back to Results
First PageMeta Content



A Randomized Satisfiability Procedure for Arithmetic and Uninterpreted Function Symbols 1 Sumit Gulwani , George C. Necula Department of Computer Science, UC-Berkeley, Berkeley, CA 94720, USA
Add to Reading List

Document Date: 2010-10-29 12:59:41


Open Document

File Size: 330,11 KB

Share Result on Facebook
UPDATE