dReal: An SMT Solver for Nonlinear Theories over the Reals
- 1 January 2013
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Delta-Decidability over the RealsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2012
- δ-Complete Decision Procedures for Satisfiability over the RealsLecture Notes in Computer Science, 2012
- The OpenSMT SolverLecture Notes in Computer Science, 2010
- Efficient decision procedure for non-linear arithmetic constraints using CORDICPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2009
- Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear ArithmeticPublished by Springer Science and Business Media LLC ,2009
- MetiTarski: An Automatic Prover for the Elementary FunctionsLecture Notes in Computer Science, 2008
- SAT Modulo ODE: A Direct SAT Approach to Hybrid SystemsLecture Notes in Computer Science, 2008
- Algorithm 852ACM Transactions on Mathematical Software, 2006
- Continuous and Interval ConstraintsPublished by Elsevier BV ,2006
- Quantifier elimination for real closed fields by cylindrical algebraic decompostionPublished by Springer Science and Business Media LLC ,1975