Keyphrases
- global constraints
- constraint handling rules
- constraint programming
- boolean constraints
- constraint satisfaction problems
- combinatorial problems
- boltzmann machine
- constraint satisfaction
- integer linear programming
- parameterized complexity
- symmetry breaking
- arc consistency
- special case
- linear program
- fixed parameter tractable