From Propositional Satisfiability to Satisfiability Modulo Theories.
Hossein M. SheiniKarem A. SakallahPublished in: SAT (2006)
Keyphrases
- satisfiability modulo theories
- propositional satisfiability
- sat solvers
- modulo theories
- orders of magnitude
- sat problem
- constraint satisfaction
- max sat
- search space
- boolean satisfiability
- sat instances
- search strategies
- boolean formula
- propositional logic
- propositional formulas
- conjunctive normal form
- metaheuristic
- programming language
- special case