Login / Signup
Satisfiability Modulo Theories and Assignments.
Maria Paola Bonacina
Stéphane Graham-Lengrand
Natarajan Shankar
Published in:
CADE (2017)
Keyphrases
</>
satisfiability modulo theories
modulo theories
answer set programming
sat solvers
boolean variables
search space
search strategies
propositional satisfiability
stable model semantics