Bibtex Entry @techreport{Afasafbcotacp:2003, author={Alejandro López-Ortiz, Claude-Guy Quimper, John Tromp and Peter van Beek}, title={A fast and simple algorithm for bounds consistency of the alldifferent constraint problem}, year={2003}, institution={School of Computer Science, University of Waterloo}, }