On the reification of global constraints.

Nicolas Beldiceanu Mats Carlsson Pierre Flener Justin Pearson

Published in: Constraints An Int. J. (2013)

Keyphrases

cost function
global constraints
weighted constraint satisfaction
constraint programming
constraint satisfaction problems
temporal reasoning
boolean constraints
arc consistency
symmetry breaking
boltzmann machine
integer programming
parameterized complexity
reinforcement learning
search algorithm