Sciweavers

AI
2008
Springer

Generalised arc consistency for the AllDifferent constraint: An empirical survey

13 years 3 months ago
Generalised arc consistency for the AllDifferent constraint: An empirical survey
The AllDifferent constraint is a crucial component of any constraint toolkit, language or solver, since it is very widely used in a variety of constraint models. The literature contains many different versions of this constraint, which trade strength of inference against computational cost. In this paper, we focus on the highest strength of inference, enforcing a property known as generalised arc consistency (GAC). This work is an analytical survey of optimizations of the main algorithm for GAC for the AllDifferent constraint. We evaluate empirically a number of key techniques from the literature. We also report important implementation details of those techniques, which have often not been described in published papers. We pay particular attention to improving incrementality by exploiting the strongly-connected components discovered during the standard propagation process, since this has not been detailed before. Our empirical work represents by far the most extensive set of experimen...
Ian P. Gent, Ian Miguel, Peter Nightingale
Added 08 Dec 2010
Updated 08 Dec 2010
Type Journal
Year 2008
Where AI
Authors Ian P. Gent, Ian Miguel, Peter Nightingale
Comments (0)