Propagating Conjunctions of AllDifferent Constraints

Christian Bessiere George Katsirelos Nina Narodytska Claude-Guy Quimper Toby Walsh

Published in: CoRR (2010)

Keyphrases

global constraints
data sets
constraint satisfaction
linear constraints
multiple constraints
database
neural network
real world
search algorithm
first order logic
linear program
constraint programming
arc consistency
soft constraints
constraint solving