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

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, USA Add to Reading List Source URL: www.cs.berkeley.edu Download Document from Source Website File Size: 330,11 KB Share Document on Facebook