A Constraint Seeker: Finding and Ranking Global Constraints from Examples.

Nicolas Beldiceanu Helmut Simonis

Published in: CP (2011)

Keyphrases

global constraints
constraint programming
generalized arc consistency
boolean constraints
constraint satisfaction problems
arc consistency
symmetry breaking
boltzmann machine
parameterized complexity
integer programming
integer linear programming
cost function