Keyphrases
- sat solvers
- satisfiability problem
- sat problem
- propositional satisfiability
- phase transition
- max sat
- sat instances
- stochastic local search
- neural network
- data sets
- boolean satisfiability
- stochastic local search algorithms
- sat solving
- variable ordering
- graph coloring
- search procedures
- greedy search
- search problems
- search strategies
- search algorithm