Reformulation of Global Constraints Based on Constraints Checkers.
Nicolas BeldiceanuMats CarlssonRomuald DebruyneThierry PetitPublished in: Constraints An Int. J. (2005)
Keyphrases
- global constraints
- constraint programming
- boolean constraints
- weighted constraint satisfaction
- generalized arc consistency
- constraint satisfaction problems
- combinatorial problems
- symmetry breaking
- integer linear programming
- boltzmann machine
- arc consistency
- constraint propagation
- integer programming
- game playing
- fixed parameter tractable
- parameterized complexity
- constraint satisfaction