近日，我院殷明浩教授、王艺源副教授领导的科研团队，通过与中国科学院软件研究所蔡少伟研究员团队合作，在2024年6月举办的第19届国际MaxSAT竞赛和2024年7月举办的第10届国际pseudo-Boolean竞赛中均取得了优异成绩。

在第19届国际MaxSAT竞赛中，该团队研发的求解器获得完备算法组加权赛道的冠军。这是继我院在2022年国际联合逻辑奥林匹克大赛中包揽MaxSAT竞赛完备算法组所有冠亚军后，再一次取得优异成绩。

在第10届国际pseudo-Boolean竞赛中，该团队研发的求解器在伪布尔判定的三个赛道中，获得两个赛道总榜第一名以及一个赛道总榜第二名；在伪布尔优化的三个赛道中，获得两个赛道总榜第三名。

1971年，图灵奖得主Stephen. A. Cook在其开创性论文中证明了SAT问题的NP完全性，从而揭开了计算复杂性的研究大幕。MaxSAT问题是SAT问题的优化形式，pseudo-Boolean问题可以看作是MaxSAT问题一般化的版本，在芯片设计、电路自动设计与调试、密码破译等领域具有重要的应用，目前已成为计算机科学领域最为活跃和重要的研究方向之一。

本次竞赛吸引了来自加拿大蒙特利尔大学、德国弗莱堡大学、比利时鲁汶大学、芬兰赫尔辛基大学、法国亚眠大学、中国科学院软件研究所、华中科技大学、华南师范大学、英特尔公司等国内外学术界及工业界的科研团队参与。我院自主研发的MaxSAT求解器CASHWMaxSAT-DisjCom-S6获得国际MaxSAT竞赛完备加权组冠军（团队成员：潘世维、王艺源、孙睿、蔡少伟（中科院软件所）、邓鹏、张浩轩、殷明浩），我院自主研发的pseudo-Boolean求解器在伪布尔判定的赛道中获得两个赛道总榜第一名（团队成员：王艺源、潘世维、赵玉娇、殷明浩）。

初审：刘阳

复审：付治国

终审：殷明浩