Stochastic Local Search for Satisfiability Modulo Theories.
Andreas FröhlichArmin BiereChristoph M. WintersteigerYoussef HamadiPublished in: AAAI (2015)
Keyphrases
- stochastic local search
- satisfiability modulo theories
- modulo theories
- sat solvers
- max sat
- sat instances
- answer set programming
- sat problem
- satisfiability problem
- phase transition
- random sat instances
- constraint satisfaction
- propositional satisfiability
- boolean variables
- orders of magnitude
- temporal logic
- search algorithm
- learning algorithm
- scheduling problem
- search strategies
- boolean satisfiability
- tabu search
- search space
- constraint satisfaction problems