Flow-Based Propagators for the SEQUENCE and Related Global Constraints.

Michael J. Maher Nina Narodytska Claude-Guy Quimper Toby Walsh

Published in: CP (2008)

Keyphrases

global constraints
constraint programming
boolean constraints
constraint satisfaction problems
combinatorial problems
symmetry breaking
weighted constraint satisfaction
parameterized complexity
integer programming
boltzmann machine
computational complexity
general purpose