A fast and simple algorithm for bounds consistency of the alldifferent constraint (2003)

by Alejandro López-Ortiz, Claude-Guy Quimper, John Tromp, Peter van Beek
Venue:In IJCAI