Keyphrases
- stochastic local search
- bayesian networks
- satisfiability problem
- combinatorial optimisation
- solving hard
- randomly generated
- phase transition
- graphical models
- max sat
- information retrieval
- structure learning
- sat instances
- naive bayes
- random sat instances
- probabilistic model
- computationally hard problems
- bayesian network classifiers
- tree search
- sat problem
- np complete
- probabilistic reasoning
- probability distribution
- lower bound
- search algorithm
- state space