Keyphrases
- satisfiability problem
- sat solvers
- sat solving
- boolean satisfiability
- propositional satisfiability
- sat problem
- search algorithm
- phase transition
- stochastic local search
- sat instances
- stochastic local search algorithms
- orders of magnitude
- machine learning
- max sat
- search problems
- np complete
- variable ordering
- sat encodings
- neural network