Contractibility for open global constraints.

Michael J. Maher

Published in: Theory Pract. Log. Program. (2017)

Keyphrases

global constraints
constraint programming
boolean constraints
constraint satisfaction problems
weighted constraint satisfaction
symmetry breaking
arc consistency
boltzmann machine
parameterized complexity
computational complexity
sensitivity analysis
integer programming