Login / Signup
A Tutorial on Satisfiability Modulo Theories.
Leonardo Mendonça de Moura
Bruno Dutertre
Natarajan Shankar
Published in:
CAV (2007)
Keyphrases
</>
satisfiability modulo theories
modulo theories
answer set programming
sat solvers
orders of magnitude
boolean variables
learning algorithm