First Page | Document Content | |
---|---|---|
Date: 2010-10-29 12:59:41 | 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, USAAdd to Reading ListSource URL: www.cs.berkeley.eduDownload Document from Source WebsiteFile Size: 330,11 KBShare Document on Facebook |