Keyphrases
- sat instances
- sat solvers
- satisfiability problem
- randomly generated
- sat problem
- stochastic local search
- computational properties
- industrial applications
- phase transition
- random sat instances
- boolean satisfiability
- np complete
- branch and bound algorithm
- constraint satisfaction problems
- max sat
- expert systems
- reinforcement learning
- bayesian networks
- genetic algorithm