Contractibility and Contractible Approximations of Soft Global Constraints.

Michael J. Maher

Published in: ICLP (Technical Communications) (2010)

Keyphrases

global constraints
constraint programming
constraint satisfaction problems
boolean constraints
weighted constraint satisfaction
symmetry breaking
boltzmann machine
cost function
closed form
integer programming