![Constraint programming / Theoretical computer science / Mathematics / Declarative programming / Satisfiability modulo theories / Constraint satisfaction / Linear programming / Local consistency / Satisfiability / Feasible region / Simplex algorithm / AMPL Constraint programming / Theoretical computer science / Mathematics / Declarative programming / Satisfiability modulo theories / Constraint satisfaction / Linear programming / Local consistency / Satisfiability / Feasible region / Simplex algorithm / AMPL](https://www.pdfsearch.io/img/ca080c00d9d30af823b7e8ab4ac82f6e.jpg) Date: 2010-08-02 12:28:40Constraint 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 ListSource URL: www.cs.cmu.eduDownload Document from Source Website File Size: 155,81 KBShare Document on Facebook
|