Eliminating the Computation of Strongly Connected Components in Generalized Arc Consistency Algorithm for AllDifferent Constraint.

Luhan Zhen, Zhanshan Li, Yanzhi Li, Hongbo Li

Browse the full IJCAI paper archive.