SAT Modulo Theories: Enhancing SAT with Special-Purpose Algorithms.
Robert NieuwenhuisPublished in: SAT (2009)
Keyphrases
- special purpose
- general purpose
- modulo theories
- stochastic local search
- answer set programming
- highly optimized
- propositional satisfiability
- sat solvers
- satisfiability problem
- phase transition
- orders of magnitude
- np complete problems
- max sat
- sat instances
- search algorithm
- learning algorithm
- search strategies
- sat problem
- np complete
- special case