Keyphrases
- sat solvers
- satisfiability problem
- sat solving
- phase transition
- max sat
- sat problem
- boolean satisfiability
- search strategies
- stochastic local search algorithms
- stochastic local search
- propositional satisfiability
- search algorithm
- database
- machine learning
- neural network
- sat instances
- variable ordering
- backtracking search
- classical planning
- industrial applications
- randomly generated
- case study
- knowledge base
- artificial intelligence