The Tractability of Global Constraints.

Christian Bessiere Emmanuel Hebrard Brahim Hnich Toby Walsh

Published in: CP (2004)

Keyphrases

global constraints
constraint satisfaction
constraint programming
constraint satisfaction problems
np complete
boolean constraints
weighted constraint satisfaction
arc consistency
symmetry breaking
computational complexity
integer programming
boltzmann machine