Tractable Combinations of Global Constraints.
David A. CohenPeter G. JeavonsEvgenij ThorstensenStanislav ZivnýPublished in: CP (2013)
Keyphrases
- global constraints
- fixed parameter tractable
- constraint programming
- boolean constraints
- constraint satisfaction problems
- np complete
- parameterized complexity
- weighted constraint satisfaction
- symmetry breaking
- computational complexity
- computational problems
- integer programming
- np hard
- constraint satisfaction
- arc consistency
- bounded treewidth
- boltzmann machine
- constraint propagation
- genetic algorithm