Login / Signup
dReal: An SMT Solver for Nonlinear Theories over the Reals.
Sicun Gao
Soonho Kong
Edmund M. Clarke
Published in:
CADE (2013)
Keyphrases
</>
modulo theories
satisfiability modulo theories
statistical machine translation
theoretical framework
constraint databases
sat solvers
answer set programming
complementarity problems
high order
neural network
artificial intelligence
knowledge base
bayesian networks
nonlinear models