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