On the Kernelization of Global Constraints.

Clément Carbonnel Emmanuel Hebrard

Published in: IJCAI (2017)

Keyphrases

global constraints
constraint programming
constraint satisfaction problems
boolean constraints
integer programming
weighted constraint satisfaction
arc consistency
symmetry breaking
boltzmann machine
parameterized complexity
search algorithm
probabilistic model