Ian P. Gent Ian Miguel Peter Nightingale Generalised arc consistency for the AllDifferent constraint: An empirical survey. 1973-2000 2008 172 Artif. Intell. 18 http://dx.doi.org/10.1016/j.artint.2008.10.006 db/journals/ai/ai172.html#GentMN08