近日，我校信息科學(xué)與技術(shù)學(xué)院殷明浩教授、王藝源副教授所領(lǐng)導(dǎo)的科研團(tuán)隊(duì)，通過(guò)與華為公司理論實(shí)驗(yàn)室、中國(guó)科學(xué)院軟件研究所共同組隊(duì)，在2022年國(guó)際聯(lián)合邏輯奧林匹克大賽中，獲得了MaxSAT競(jìng)賽完備算法組所有賽道的冠亞軍。這也是自2017年MaxSAT競(jìng)賽完備算法組由原有九個(gè)賽道改制為兩個(gè)賽道（加權(quán)賽道和無(wú)權(quán)賽道）后，中國(guó)科研團(tuán)隊(duì)首次包攬所有冠亞軍。
國(guó)際聯(lián)合邏輯奧林匹克大賽每四年舉辦一次，分為MaxSAT、約束求解、模型計(jì)數(shù)等十四個(gè)主要競(jìng)賽類(lèi)別，旨在促進(jìn)邏輯與計(jì)算機(jī)科學(xué)研究領(lǐng)域各類(lèi)算法的研究和求解器的開(kāi)發(fā)。
1971年，圖靈獎(jiǎng)獲得者Stephen. A. Cook在其開(kāi)創(chuàng)性論文中證明了SAT 問(wèn)題是 NP 完全的，由此揭開(kāi)了計(jì)算復(fù)雜性中NP完全性的研究。MaxSAT問(wèn)題是 SAT 問(wèn)題的優(yōu)化形式，在芯片設(shè)計(jì)、電路自動(dòng)設(shè)計(jì)與調(diào)試、密碼破譯等領(lǐng)域有著重要的應(yīng)用，目前已成為計(jì)算機(jī)科學(xué)最活躍和重要的研究領(lǐng)域之一。圍繞MaxSAT求解器的國(guó)際競(jìng)賽迄今已舉辦了17屆。
本次比賽吸引了來(lái)自卡內(nèi)基梅隆大學(xué)、Intel公司、德國(guó)馬克斯·普朗克信息研究所、芬蘭赫爾辛基大學(xué)等多所國(guó)際學(xué)術(shù)界及工業(yè)界的科研團(tuán)隊(duì)參加。由我校參與研發(fā)的CASHWMaxSAT-CorePlus求解器獲得了完備加權(quán)組、完備無(wú)權(quán)組兩枚金牌（團(tuán)隊(duì)成員：雷震東（華為）、王藝源、潘世維、蔡少偉（中科院）、殷明浩），CASHWMaxSAT-Plus求解器獲得了完備加權(quán)組、完備無(wú)權(quán)組兩枚銀牌（團(tuán)隊(duì)成員：王藝源、潘世維、雷震東（華為）、蔡少偉（中科院）、殷明浩、胡書(shū)麗、周雨鵬）。
