近日，我院2021级硕士生徐继涛的论文“Prediction-based Adaptive Variable Ordering Heuristics for Constraint Satisfaction Problems”被CCF-A类会议AAAI接收。徐继涛同学2021年进入殷明浩教授课题组攻读计算机技术专业硕士学位，指导老师是李宏博老师。徐继涛同学已经在今年6月顺利毕业，目前在美国继续深造。

会议简介：AAAI Conference on Artificial Intelligence（AAAI）是人工智能领域顶级国际会议，自1980年开始每年举办一次，是人工智能领域历史最悠久的会议之一。

会议类别：CCF-A类会议

作者顺序：徐继涛，吴亚玲，李宏博，殷明浩

通讯作者：李宏博，殷明浩

论文概述：变量排序算法是解决约束满足问题的核心方法之一。不同的变量排序算法在处理相同的约束满足问题实例时，其性能可能存在显著差异。因此，为问题实例选择合适的变量排序算法成为该领域的关键问题之一。本文提出了一种基于冲突序列中正决策数量（NPD序列）来表示算法搜索行为的方法，并证明了NPD序列与二分支搜索过程之间存在一一对应关系。基于NPD序列的表示方式，我们利用每个搜索过程的初始阶段信息来预测整个搜索过程的代价，从而为不同的约束满足问题实例自适应选择高效的变量排序算法。实验结果表明，我们在简单实例上训练的LSTM与GBDT模型能够有效为难解实例选择合适的变量排序算法。在求解实例数量和求解时间这两个通用评估指标上，我们的方法优于当前最先进的自适应变量排序算法。

初审：武珊

复审：付治国

终审：殷明浩