Circuit Complexity and Decompositions of Global Constraints

Christian Bessiere George Katsirelos Nina Narodytska Toby Walsh

Published in: CoRR (2009)

Keyphrases

global constraints
constraint programming
parameterized complexity
boolean constraints
fixed parameter tractable
computational complexity
arc consistency
constraint satisfaction problems
weighted constraint satisfaction
genetic algorithm
query language
constraint propagation
symmetry breaking