Login / Signup
Satisfiability modulo theories: introduction and applications.
Leonardo Mendonça de Moura
Nikolaj Bjørner
Published in:
Commun. ACM (2011)
Keyphrases
</>
satisfiability modulo theories
modulo theories
answer set programming
expert systems
knowledge representation
sat solvers