Keyphrases
- sat solvers
- satisfiability problem
- sat solving
- sat problem
- search algorithm
- stochastic local search
- boolean satisfiability
- propositional satisfiability
- phase transition
- max sat
- sat instances
- neural network
- stochastic local search algorithms
- variable ordering
- evolutionary algorithm
- data sets
- data structure
- conjunctive normal form
- machine learning
- backtracking search