Applying Ad-hoc Global Constraints with the case Constraint to Still-Life.
Kenil C. K. ChengRoland H. C. YapPublished in: Constraints An Int. J. (2006)
Keyphrases
- global constraints
- constraint programming
- generalized arc consistency
- boolean constraints
- constraint satisfaction problems
- weighted constraint satisfaction
- arc consistency
- integer linear programming
- boltzmann machine
- integer programming
- symmetry breaking
- computational complexity
- upper bound
- constraint satisfaction