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