dReal: An SMT Solver for Nonlinear Theories over the Reals

By Sicun Gao, Soonho Kong, Edmund M. Clarke. CADE, 2013

512 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Numerical Analysis

View Paper: https://www.semanticscholar.org/paper/5dbbc792817fb757b85ca7e9f13151bb42161e97

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computational Theory and Mathematics

1. Ya-Chien Chang
2. Nima Roohi
3. Sicun Gao

In Numerical Analysis

1. Ya-Chien Chang
2. Nima Roohi
3. Sicun Gao

Citations in the corpus

• Neural Lyapunov Control (2020, methodology): “This requirement is rigorously proved for algorithms in SMT solvers such as dReal [12], as a property called delta-completeness [11].”