近日，我院2023级博士研究生梁家馨的论文“DiverSAT: A Novel and Effective Local Search Algorithm for Diverse SAT Problem”被人工智能国际会议AAAI-25接收。梁家馨从硕士阶段进入殷明浩教授智能信息处理实验室，2023年起攻读博士学位。

会议简介：AAAI（Association for the Advance of Artificial Intelligence）是由人工智能促进协会主办的年会，是人工智能领域中历史最悠久、涵盖内容最广泛的国际顶级学术会议之一。会议旨在促进人工智能的研究及科学交流，主要包括技术论文汇报、特邀报告、研讨会、海报会议、竞赛等一系列活动。

会议名称：Thirty-Ninth AAAI Conference on Artificial Intelligence (AAAI-25)

会议类别：中国计算机学会（CCF）推荐A类会议

论文题目：DiverSAT: A Novel and Effective Local Search Algorithm for Diverse SAT Problem

第一作者：梁家馨

通讯作者：周俊萍，殷明浩

论文概述：在许多领域中，多样化的解往往比单一的最优解更能满足问题的需求并更加灵活地应对不断变化的场景。Diverse SAT问题是SAT的扩展问题之一，目标是找到SAT公式的成对汉明距离之和尽可能大的多个模型来优化多样性质量。本文提出了求解Diverse SAT的局部搜索算法。算法首先构造包含多个模型的高质量候选解，然后维护更新该解。本文设计三个启发式策略来引导算法尽可能地生成不同空间的多样化的模型，并在优化阶段提出评估函数和加入自适应策略的更新方案，不断提升解的多样性质量。实验结果表明了算法的有效性。

初审：武珊

复审：付治国

终审：殷明浩