近日，我校信息科學(xué)與技術(shù)學(xué)院殷明浩教授、王藝源副教授組建的科研團(tuán)隊(duì)，通過(guò)與中國(guó)科學(xué)院軟件研究所蔡少偉研究員團(tuán)隊(duì)合作，在近期舉辦的第19屆國(guó)際MaxSAT競(jìng)賽和第10屆國(guó)際pseudo-Boolean競(jìng)賽中均取得了優(yōu)異成績(jī)。
在第19屆國(guó)際MaxSAT競(jìng)賽中，該團(tuán)隊(duì)研發(fā)的求解器獲得完備算法組加權(quán)賽道的冠軍。這是繼我校在2022年國(guó)際聯(lián)合邏輯奧林匹克大賽中包攬MaxSAT競(jìng)賽完備算法組所有冠亞軍后，再一次取得優(yōu)異成績(jī)。
在第10屆國(guó)際pseudo-Boolean競(jìng)賽中，該團(tuán)隊(duì)研發(fā)的求解器在偽布爾判定的三個(gè)賽道中，獲得兩個(gè)賽道總榜第一名以及一個(gè)賽道總榜第二名；在偽布爾優(yōu)化的三個(gè)賽道中，獲得兩個(gè)賽道總榜第三名。
1971年，圖靈獎(jiǎng)得主Stephen. A. Cook在其開(kāi)創(chuàng)性論文中證明了SAT問(wèn)題的NP完全性，從而揭開(kāi)了計(jì)算復(fù)雜性的研究大幕。MaxSAT問(wèn)題是SAT問(wèn)題的優(yōu)化形式，pseudo-Boolean問(wèn)題可以看作是MaxSAT問(wèn)題一般化的版本，在芯片設(shè)計(jì)、電路自動(dòng)設(shè)計(jì)與調(diào)試、密碼破譯等領(lǐng)域具有重要的應(yīng)用，目前已成為計(jì)算機(jī)科學(xué)領(lǐng)域最為活躍和重要的研究方向之一。
本次競(jìng)賽吸引了來(lái)自加拿大蒙特利爾大學(xué)、德國(guó)弗萊堡大學(xué)、比利時(shí)魯汶大學(xué)、芬蘭赫爾辛基大學(xué)、法國(guó)亞眠大學(xué)、中國(guó)科學(xué)院軟件研究所、華中科技大學(xué)、華南師范大學(xué)、英特爾公司等國(guó)內(nèi)外學(xué)術(shù)界及工業(yè)界的科研團(tuán)隊(duì)參與。我校自主研發(fā)的MaxSAT求解器CASHWMaxSAT-DisjCom-S6獲得國(guó)際MaxSAT競(jìng)賽完備加權(quán)組冠軍，團(tuán)隊(duì)成員包括：潘世維、王藝源、孫睿、蔡少偉（中科院軟件所）、鄧鵬、張浩軒、殷明浩；我校自主研發(fā)的pseudo-Boolean求解器在偽布爾判定的賽道中獲得兩個(gè)賽道總榜第一名，團(tuán)隊(duì)成員包括：王藝源、潘世維、趙玉嬌、殷明浩。
