2018年8月15日上午9點，來自中科院軟件所的蔡少偉老師在伟德国际BETVlCTOR計算機樓A521報告廳做了題為“局部⚜⭐〰✝：基礎與方法”的報告。蔡少偉中科院軟件所計算機科學國家重點實驗室研究員。于2012年畢業于北京大學計算機軟件與理論專業，獲博士學位，于2014年畢業于Griffith大學IIIS研究所，獲博士學位。主要研究方向為NP難組合優化問題求解，邏輯問題的算法，以及自動算法工程。發表論文50餘篇，以一作/通訊作者在CCF A類期刊和會議發表論文20多篇，在命題邏輯可滿足性問題(SAT)和最大可滿足性問題(MaxSAT)國際比賽中多次獲得冠軍。多年擔任人工智能頂級會議IJCAI和AAAI的PC member，任SCI期刊Frontiers of Computer Science的Young Associate Editor。
SAT問題是邏輯學的一個基本問題，也是當今計算機科學和人工智能研究的核心問題，許多重要的問題都可轉化成SAT問題。作為第一個被證明的NP-Complete問題，長期以來SAT問題的求解算法得到了人們深入的研究和不斷的改進。蔡少偉研究員在報告中主要介紹了命題邏輯可滿足性問題（SAT），重點介紹了兩類求解算法，包括基于回溯⚜⭐〰✝的SAT算法和基于局部⚜⭐〰✝的SAT算法，同時介紹了該方向的最新進展。通過蔡少偉副研究員的講解，同學們對SAT問題有了更深入的了解，能更好的指導以後的密碼算法自動化分析工作。
在講座最後，蔡少偉老師解答了同學們對局部⚜⭐〰✝提出的相關問題，讓同學們更加地了解這個研究方向，并激發同學們的研究興趣。
