Back to Results
First PageMeta Content
Constraint programming / Theoretical computer science / Mathematics / Declarative programming / Satisfiability modulo theories / Constraint satisfaction / Linear programming / Local consistency / Satisfiability / Feasible region / Simplex algorithm / AMPL


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
UPDATE