Keyphrases
- global constraints
- constraint programming
- generalized arc consistency
- constraint satisfaction problems
- boolean constraints
- combinatorial problems
- boltzmann machine
- symmetry breaking
- arc consistency
- weighted constraint satisfaction
- fixed parameter tractable
- integer programming
- parameterized complexity
- constraint satisfaction
- saddle point
- integer linear programming
- constraint propagation
- genetic algorithm