Early and Efficient Identification of Useless Constraint Propagation for Alldifferent Constraints.

Xizhe Zhang, Jian Gao, Yizhi Lv, Weixiong Zhang

Browse the full IJCAI paper archive.