The Symmetric Alldiff Constraint.

Jean-Charles Régin

Published in: IJCAI (1999)

Keyphrases

constraint satisfaction problems
filtering algorithm
sat encodings
global constraints
constraint satisfaction
constraint programming
constraint propagation
linear programming
image quality
genetic programming
combinatorial problems