Title of article
A randomized satisfiability procedure for arithmetic and uninterpreted function symbols
Author/Authors
Sumit Gulwani، نويسنده , , George C. Necula، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2005
Pages
25
From page
107
To page
131
Keywords
Satisfiability procedure , randomized algorithm , Uninterpreted function symbols , Linear arithmetic
Journal title
Information and Computation
Serial Year
2005
Journal title
Information and Computation
Record number
262289
Link To Document