Rui Han, Minghao Liu 0001, Yuhang Dong, Fuqi Jia, Yiyuan Wang 0002, Feifei Ma, Minghao Yin, Jian Zhang 0001. AllDiff-LS: solving alldifferent constraints with efficient local search. Frontiers of Computer Science in China, 20(8):2008406, August 2026. [doi]
Abstract is missing.