A Fast Algorithm for the Bound Consistency of alldiff Constraints.

Jean-Francois Puget

Published in: AAAI/IAAI (1998)

Keyphrases

constraint satisfaction problems
global constraints
sat encodings
constraint satisfaction
constraint networks
constraint programming
filtering algorithm
path consistency
np hard
lower bound
upper bound
np complete
constraint propagation
genetic algorithm
image quality
genetic programming