Zhen, Luhan

1 publications

IJCAI 2023 Eliminating the Computation of Strongly Connected Components in Generalized Arc Consistency Algorithm for AllDifferent Constraint Luhan Zhen, Zhanshan Li, Yanzhi Li, Hongbo Li