First Page | Document Content | |
---|---|---|
Date: 2010-10-29 12:59:29 | Published in Proc. of “Conference on Automated Deduction (CADE)”, A Randomized Satisfiability Procedure for Arithmetic and Uninterpreted Function Symbols Sumit Gulwani and George C. Necula University of CalifoAdd to Reading ListSource URL: www.cs.berkeley.eduDownload Document from Source WebsiteFile Size: 264,71 KBShare Document on Facebook |