Circuit Complexity and Decompositions of Global Constraints.

Christian Bessiere George Katsirelos Nina Narodytska Toby Walsh

Published in: IJCAI (2009)

Keyphrases

global constraints
constraint programming
parameterized complexity
fixed parameter tractable
constraint satisfaction problems
boolean constraints
symmetry breaking
space complexity
weighted constraint satisfaction
integer programming
arc consistency
computational complexity
worst case