Towards Efficient Consistency Enforcement for Global Constraints in Weighted Constraint Satisfaction.

Jimmy Ho-Man Lee Ka Lun Leung

Published in: IJCAI (2009)

Keyphrases

weighted constraint satisfaction
global constraints
energy minimization
cost function
constraint satisfaction problems
constraint programming
boolean constraints
boltzmann machine
generalized arc consistency
integer programming
symmetry breaking
graphical models
image segmentation
arc consistency