A pearl on SAT and SMT solving in Prolog.
Jacob M. HoweAndy KingPublished in: Theor. Comput. Sci. (2012)
Keyphrases
- modulo theories
- sat solving
- np complete problems
- stochastic local search
- sat instances
- expert systems
- sat solvers
- sat encodings
- solving hard
- satisfiability problem
- statistical machine translation
- boolean optimization
- solving problems
- causal models
- np complete
- logic programming
- sat problem
- stochastic local search algorithms
- weighted max sat
- knowledge representation