Testing Global Constraints.

Aurélie Massart Valentin Rombouts Pierre Schaus

Published in: CoRR (2018)

Keyphrases

global constraints
constraint programming
boolean constraints
constraint satisfaction problems
symmetry breaking
weighted constraint satisfaction
arc consistency
boltzmann machine
parameterized complexity
support vector
special case
state space
level set