Phase Transition of Tractability in Constraint Satisfaction and Bayesian Network Inference
Yong GaoPublished in: CoRR (2012)
Keyphrases
- constraint satisfaction
- phase transition
- bayesian network inference
- bayesian networks
- constraint satisfaction problems
- satisfiability problem
- randomly generated
- combinatorial problems
- hard problems
- constraint propagation
- heuristic search
- causal independence
- random instances
- approximate inference
- greedy search
- constraint programming
- np complete problems
- probabilistic reasoning
- sat problem
- random graphs
- sat solvers
- constraint problems
- np complete
- machine learning
- constraint networks
- stochastic local search
- probabilistic model
- dynamic programming
- russian doll search