我院张锡哲副教授指导硕士研究生李倩发表A类长文一篇

    由我院张锡哲副教授指导的硕士研究生李倩完成的论文“A fast algorithm for generalized arc consistency of the alldifferent constraint”被人工智能领域国际顶级学术会议International Joint Conference on Artificial Intelligence（IJCAI 2018）以长文录用。IJCAI是人工智能领域综合性会议，也是中国计算机学会（CCF）推荐的A类会议，在该领域具有极大的影响力，代表人工智能领域的最高水平和发展方向，自1969年开始，每两年召开一次，2016年起每年召开。IJCAI 2018共收到投稿论文3470篇，录用710篇，录用率仅为20.5%。
    该论文研究了人工智能领域中经典问题：约束满足问题中的Alldifferent约束。该约束是最常见的全局约束，广泛使用于大量的实际问题，例如时序安排、计划编制、资源分配等。该论文基于图论的严格数学证明，提出了一种新的全局弧相容算法，相对于目前仍在广泛使用的经典算法(Régin，IJCAI 1994)，新算法在CSP标准测试集上的求解效率提升1-6倍。论文得到了审稿人的一致认可，并被认为将替代经典算法，成为求解Alldifferent约束新的标准算法。
 
撰稿人：张锡哲