Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
Integrating ICP and LRA Solvers for Deciding Nonlinear Real Arithmetic Problems Sicun Gao1,2 , Malay Ganai1 , Franjo Ivanˇci´c1 , Aarti Gupta1 , Sriram Sankaranarayanan3 , and Edmund M. Clarke2 1 NEC Labs America, NJ,
Add to Reading List
Document Date: 2010-08-02 12:28:40
Open Document
File Size: 155,81 KB
Share Result on Facebook
Integrating ICP and LRA Solvers for Deciding Nonlinear Real Arithmetic Problems Sicun Gao1,2 , Malay Ganai1 , Franjo Ivanˇci´c1 , Aarti Gupta1 , Sriram Sankaranarayanan3 , and Edmund M. Clarke2 1 NEC Labs America, NJ,