华中大学获得国际冠军。

八月

华中科技大学计算机学院

何瑛教授和博士生郑迥之等开发的求解器

在SAT Competition 2022算法竞赛中

主轨迹冠军！ 参赛团队成员包括何瑛教授硕士生陈卓、博士生周建荣，以及该团队长期合作方、华中科技大学客座教授、法国亚眠大学李初民教授。

从左到右：陈卓、郑迥之、何瑛、周建荣

SAT Competition 2022赛事由第25届满意度测试理论与应用国际会议SAT 2022组织举办，该系列赛事目前已举办15届，赛事目标是推动布尔满意度问题( SAT )解决的发展。

SAT问题是计算机科学领域的典型问题，也是第一个得到NP完备性证明的问题，不仅具有重要的理论研究价值，而且广泛应用于工业领域，特别是软硬件验证。

此次SAT Competition有来自卡内基梅隆大学、埃因霍温理工大学、上海交通大学、德累斯顿工业大学、萨班吉大学、约翰开普勒大学、俄罗斯ITMO大学、华为公司等国际知名大学和科研院所的50多位求解器参加。

何瑛教授团队提出了随机游走策略和决策树模型相结合的创新方法，在求解器面临不同特征算例时采用不同的随机游走策略辅助搜索，较好地提高了SAT求解器的鲁棒性，最终取得了主轨迹位的好成绩。

同时，何瑛教授团队在SAT 2022国际会议举办的MaxSAT Evaluation 2022算法竞赛不完全组的4个赛道上取得了3个亚军和1个季军的好成绩。

参与的MaxSAT求解器使用决策树模型，结合了该团队提出的BandMaxSAT、farsightedprobabilitysampling ( fps )等局部搜索算法。

其中BandMaxSAT已在国际人工智能顶会IJCAI 2022上发表。

何瑛教授是ACM高级会员、IEEE高级会员、CCF优秀会员，是NeurIPS、ICML、ICLR等10多个顶级会议的计划委员会(高级)委员。

她的团队长期从事组合优化、深度学习的安全性和可解释性、社交网络挖掘的研究，包括NeurIPS、ICLR、CVPR、ICCV、ECCV、ACL、EMNLP、AAAI

她多次指导本科生发表ACM-ICPC地区竞赛金奖、美国大学生数学建模竞赛f奖、NIPS、ICDM等顶级会展论文，她参加的联合论文combiningclauselearningandbranch

她的硕士研究生在2020年取得了ImageNet图像分类对抗攻击比赛第一名、IJCAI2019人工智能对抗算法比赛防御课程第三名等对抗学习比赛的好成绩。

获得国际冠军的伙伴们

有什么心得？

来一起看

郑迥之：从很久以前，SAT和MaxSAT的问题就深深地吸引着我。

这次，我带着最近制作BandMaxSAT和farsightedprobabilitysampling ( fps )这两个MaxSAT局部搜索算法的经验参加了今年的SAT和MaxSAT比赛。

在何老师的指导下，创新性地提出了利用决策树模型辅助求解器选择局部搜索策略的方法，最终获得了SAT比赛主客场串行组冠军、MaxSAT比赛不完全组4个客场3个亚军、1个季军的好成绩。

看到组委会公布了比赛结果，我很高兴。 这对我来说是鼓励和肯定，鼓励我继续学习和探索。

目前，我们的方法和策略几乎都以求解器中的局部搜索模块为中心，但我们将继续深入学习SAT、MaxSAT求解器中的其他模块，努力实现更全面的突破。

陈卓：在这次的SAT比赛中，何老师和两位前辈给了我很多指导和帮助。

我系的毕业设计内容是关于SAT问题的组合优化问题，所以在比赛的过程中也有新的想法和启发。

基于我系新建的研究问题，通过几种转换方法得到了SAT问题的算例。

虽然在这次比赛中我做出了一点贡献，但是这个过程提高了我对SAT问题的兴趣，学到了很多新的思想。

今后的科研生活也将跟随领导和前辈的脚步，继续探索。

周建荣：我非常高兴和实验室团队一起参加了SAT/MaxSAT竞赛并获奖。

SAT和MaxSAT问题是组合优化领域中非常经典的NPC/NP-Hard问题，这两个问题的解决非常困难和具有挑战性。

这次有机会和何瑛老师、郑迥之和陈卓一起思考、理解和设计相关算法，让我对SAT问题和相关的组合优化问题有了进一步的了解。

这次参赛队伍是一支来自世界各著名大学的非常有竞争力的队伍，要想在比赛中获奖非常困难。

参加这次竞赛，我获得了很多成果。 同时，我非常感谢导师的指导和两位同学的努力。

祝贺你

HUSTer

请更加努力！ 来源：华中科技大学官方微信公众号编辑：高翔、李芊