近日，我院王艺源副教授所领导的科研团队（团队成员包括博士生潘世维、赵玉娇，硕士生项毅展，本科生邓鹏、黎江楠），在2025年pseudo-Boolean竞赛中取得了优异成绩。在伪布尔判定类别，团队获得一个赛道冠军和一个赛道亚军；在伪布尔优化类别，团队获得一个赛道冠军和一个赛道亚军。

pseudo-Boolean问题是计算机科学领域的基础问题之一，等价于经典的0-1整数规划问题。在现代工业中，整数规划求解器技术在多个重要的工业问题中起着关键作用，例如能源系统优化，芯片制造，稀缺资源优化等。这些问题一般是NP难的优化问题，开发有效的整数规划求解器十分困难，已成为计算机科学、人工智能和运筹学等领域的重要研究课题。

本次竞赛吸引了来自比利时鲁汶大学、芬兰赫尔辛基大学、瑞典德隆大学、法国亚眠大学、日本名古屋大学、中国科学院软件研究所、谷歌公司等国内外学术界及工业界的科研团队参与。迄今为止，围绕pseudo-Boolean求解器的国际竞赛已举办了十一届。

初审：武珊

复审：付治国

终审：殷明浩