Ad-hoc Global Constraints for Life.

Kenil C. K. Cheng Roland H. C. Yap

Published in: CP (2005)

Keyphrases

global constraints
constraint programming
boolean constraints
constraint satisfaction problems
arc consistency
boltzmann machine
weighted constraint satisfaction
symmetry breaking
parameterized complexity
special case
constraint satisfaction
integer programming