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 :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=262289
بازگشت