近日，我院周俊萍老师的论文“LS-DTKMS: a local search algorithm for diversified top-k MaxSAT problem”在第26届可满足性测试理论与应用国际会议（The 26th International Conference on Theory and Applications of Satisfiability Testing）正式发表。合作作者梁家馨从硕士阶段进入智能信息处理实验室读研，2023年继续在信息科学与技术学院攻读博士学位。
会议简介：可满足性测试理论与应用国际会议是研究命题可满足性问题（SAT）的研究人员的顶级年度会议。SAT 问题是理论和应用计算机科学中的一个突出问题，是复杂性理论中最重要的开放性问题（P vs NP）的核心，也是人工智能、运筹学和电子设计工程等领域应用的基础。许多领域中的问题，包括大规模集成电路的布线及其正确性验证、软件自动开发、机器人动作规划、数据挖掘等，都将SAT相关技术作为重要的研究工具。会议的主要目的是汇集来自不同领域和社区的研究人员，包括理论和实验计算机科学以及相关应用领域的研究人员，促进合作和交流SAT相关研究及其工业应用的新理论和实践成果。
会议名称：The 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023)
会议类别：中国计算机学会推荐B类会议
作者顺序：周俊萍，梁家馨，殷明浩，贺博
通讯作者：殷明浩
论文题目：LS-DTKMS: a local search algorithm for diversified top-k MaxSAT problem
论文概述：本文提出了最大可满足性（MaxSAT）问题的变体Diversified top-k MaxSAT（DTKMS），该问题是兼顾解的相关性与多样性的双标准优化问题，目标是求出多样化的前k个可行赋值以满足最大数量的软子句，从而能够在许多应用领域中，更好地满足研究者的需求。本文的工作是提出了一个求解DTKMS的局部搜索算法，为提升解的多样性，设计了新的变量打分函数、赋值打分函数与解更新规则。实验结果验证了该算法的有效性。
