Keyphrases
- sat solvers
- satisfiability problem
- sat problem
- sat solving
- boolean satisfiability
- phase transition
- propositional satisfiability
- stochastic local search
- search strategies
- pseudo boolean constraints
- stochastic local search algorithms
- max sat
- search algorithm
- variable ordering
- data sets
- temporal logic
- np hard
- computational complexity
- artificial intelligence
- databases