講座主題：SAT算法與并行求解方法進(jìn)展
專家姓名：蔡少偉
工作單位：中國科學(xué)院軟件研究所
講座時(shí)間：2023年7月31日 10:00-11:00
講座地點(diǎn)：計(jì)算機(jī)與控制工程學(xué)院6205
主辦單位：煙臺(tái)大學(xué)計(jì)算機(jī)與控制工程學(xué)院
內(nèi)容摘要：
本報(bào)告回顧SAT算法研究歷史,，并介紹我們?cè)诓⑿兴惴ǚ较虻囊恍┨剿?，包括并行預(yù)處理技術(shù)，以及基于隨機(jī)重排的變量選擇順序的初始化策略,。大量實(shí)驗(yàn)證明了這兩種方法的有效性,。我們研發(fā)的并行求解器以相當(dāng)大的優(yōu)勢(shì)贏得了2022年和2023年SAT國際競賽并行主賽道的的冠軍,。
主講人介紹：
蔡少偉，中國科學(xué)院軟件所研究員，博士生導(dǎo)師,，獲得國家自然科學(xué)基金優(yōu)秀青年基金資助,。研究約束求解、EDA形式驗(yàn)證,。設(shè)計(jì)了高效的SAT混合求解方法,，首次解決了AAAI 1997命題邏輯推理與搜索十大挑戰(zhàn)的第七個(gè)挑戰(zhàn)問題，獲得SAT 2021最佳論文獎(jiǎng),。設(shè)計(jì)了首個(gè)支持整數(shù)算術(shù)理論的SMT隨機(jī)搜索算法,。帶領(lǐng)團(tuán)隊(duì)研發(fā)的求解器在SAT比賽和SMT比賽獲得20多個(gè)冠軍。受邀在組合搜索領(lǐng)域和EDA領(lǐng)域的著名會(huì)議SOCS和FMCAD上做特邀報(bào)告,。
