SAT Modulo Theories: Getting the Best of SAT and Global Constraint Filtering.
Robert NieuwenhuisPublished in: CP (2010)
Keyphrases
- modulo theories
- global constraints
- answer set programming
- satisfiability problem
- stable model semantics
- sat solvers
- satisfiability modulo theories
- sat problem
- logic programming
- boolean satisfiability
- boolean constraints
- logic programs
- search algorithm
- propositional satisfiability
- constraint programming
- answer sets
- sat instances