吉林省高等学校智能信息处理重点实验室共4篇论文被IJCAI-25接收。实验室主任为殷明浩教授，实验室研究方向包括人工智能基础理论研究、大数据分析，人工智能赋能教育等方向。本次IJCAI接收的4篇论文的第一作者分别是潘世维本科及硕士阶段就读于东北师范大学计算机科学与信息技术学院，2021年进入殷明浩教授智能信息处理实验室攻读博士学位；孙睿本科及硕士阶段就读于吉林大学软件工程专业，2022年进入殷明浩教授智能信息处理实验室攻读博士学位。

国际人工智能联合会议（International Joint Conference on Artificial Intelligence，简称为IJCAI）是人工智能领域中最主要的学术会议之一，每年举办一次。IJCAI是CCF推荐A类会议，Core Conference Ranking A*类会议。

（一）2021级博士研究生潘世维等的论文被IJCAI-25录用，通讯作者为中国科学院软件所蔡少伟研究员和本院王艺源副教授。

最大可满足性问题（MaxSAT）是一类关键的组合优化问题，在多个重要领域具有广泛的应用。本研究提出了一种高效的完备MaxSAT求解器，该方法基于两个新颖的核心思想：扩展的分层技术和不相交的不可满足核。所提出的系列求解器分别在MaxSAT Evaluation 2022和2024的比赛中取得了冠军。

（二）2022级博士研究生孙睿等的论文被IJCAI-25录用，通讯作者为高健教授和王艺源副教授。其余作者包括2022级本科生刘沛岩、2022级硕士研究生刘朝晖、2023级硕士研究生杜丽平。

作为图论中经典的NP难组合优化问题，最小顶点覆盖问题在诸多实际应用领域具有重要价值。针对该问题在大规模图场景下的求解挑战，本研究提出了一种全新的局部搜索算法InfVC，其核心创新体现在三个层面：基于推理机制的优化策略，基于结构特征的扰动机制，自适应多阶段搜索框架。在现实应用场景的大规模实例中，InfVC的求解质量和计算效率均超越现有顶尖算法。

（三）2022级博士研究生孙睿等的论文被IJCAI-25录用，通讯作者为杭州师范大学陈杰江讲师和本院王艺源副教授。其余作者包括2022级硕士研究生刘朝晖、2023级硕士研究生肖汉、2022级本科生黎江楠。

最小支配集在无线传感器网络部署、社交网络影响力最大化、通信网络资源分配等实际场景中具有重要应用价值。针对大规模图数据中支配集问题的高效求解需求，本研究提出了一种新型混合搜索算法，并基于支配传播的动态约简策略，通过支配关系的传播特性实现图的高效约简。在包含不同类型图的实验中，所提出算法在求解精度和时间效率上均显著超越现有最好的算法。

（四）2022级博士研究生孙睿等的论文被IJCAI-25录用，通讯作者为王艺源副教授。其余作者包括电子科技大学周毅副教授、2021级本科生王心雨、2022级本科生黎江楠。

本研究针对顶点二分法最小化问题提出了一种快速搜索算法，通过引入局部凝聚指标，实现结构密集结构的精准定位，并提出了双搜索机制，根据当前搜索状态采用两种不同的搜索模型来有效地探索邻域搜索空间。实验结果表明，所提出的算法在几乎所有实例上都表现最佳。

初审：武珊

复审：付治国

终审：殷明浩