Keyphrases
- sat solvers
- satisfiability problem
- sat problem
- boolean satisfiability
- sat solving
- propositional satisfiability
- search strategies
- pseudo boolean constraints
- search algorithm
- stochastic local search algorithms
- stochastic local search
- phase transition
- sat instances
- data sets
- max sat
- orders of magnitude
- variable ordering
- sat encodings
- np complete
- computational complexity
- backtracking search
- real time