Phase Transition of Tractability in Constraint Satisfaction and Bayesian Network Inference.
Yong GaoPublished in: UAI (2003)
Keyphrases
- constraint satisfaction
- phase transition
- bayesian network inference
- bayesian networks
- constraint satisfaction problems
- satisfiability problem
- combinatorial problems
- heuristic search
- constraint programming
- random instances
- randomly generated
- greedy search
- constraint propagation
- approximate inference
- hard problems
- np complete problems
- probabilistic reasoning
- sat problem
- causal independence
- constraint networks
- constraint problems
- russian doll search
- arc consistency
- random graphs
- max sat
- sat solvers
- orders of magnitude
- genetic programming
- graphical models