A Stronger Consistency for Soft Global Constraints in Weighted Constraint Satisfaction.
Jimmy Ho-Man LeeKa Lun LeungPublished in: AAAI (2010)
Keyphrases
- weighted constraint satisfaction
- global constraints
- constraint programming
- boolean constraints
- constraint satisfaction problems
- generalized arc consistency
- cost function
- energy minimization
- constraint satisfaction
- symmetry breaking
- integer programming
- boltzmann machine
- computer vision
- belief propagation
- arc consistency
- np complete
- graphical models