Keyphrases
- sat solvers
- satisfiability problem
- sat problem
- boolean satisfiability
- search algorithm
- stochastic local search
- phase transition
- sat solving
- machine learning
- propositional satisfiability
- neural network
- sat instances
- stochastic local search algorithms
- max sat
- search strategies
- knowledge representation
- databases
- search problems
- scheduling problem
- case study
- information retrieval
- np complete problems
- database