Keyphrases
- symmetry breaking
- constraint satisfaction problems
- constraint satisfaction
- probabilistic inference
- real time
- solving constraint satisfaction problems
- graphical models
- message passing
- symmetry breaking constraints
- symmetry detection
- arc consistency
- constraint propagation
- search space
- data mining
- data sets
- bayesian networks
- artificial intelligence
- hypertree decomposition