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