The Complexity of Reasoning with Global Constraints
Christian BessiereEmmanuel HebrardBrahim HnichToby WalshPublished in: CoRR (2009)
Keyphrases
- global constraints
- constraint programming
- boolean constraints
- fixed parameter tractable
- parameterized complexity
- constraint satisfaction problems
- boltzmann machine
- reasoning tasks
- computational complexity
- arc consistency
- space complexity
- symmetry breaking
- worst case
- weighted constraint satisfaction
- constraint satisfaction
- lower bound
- genetic algorithm