The Complexity of Reasoning with Global Constraints.

Christian Bessiere Emmanuel Hebrard Brahim Hnich Toby Walsh

Published in: Constraints An Int. J. (2007)

Keyphrases

global constraints
constraint programming
boolean constraints
weighted constraint satisfaction
constraint satisfaction problems
parameterized complexity
worst case
decision problems
fixed parameter tractable
constraint satisfaction
integer programming
symmetry breaking
reasoning tasks
boltzmann machine