Login / Signup

Satisfiability Modulo Theories and Assignments.

Maria Paola BonacinaStéphane Graham-LengrandNatarajan 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