報(bào)告內(nèi)容: 最大可滿足性問題參數(shù)算法及核心化算法簡介

報(bào)告人: 徐超

報(bào)告人所在單位: 計(jì)算機(jī)與通信工程學(xué)院

報(bào)告人職稱/職務(wù)及學(xué)術(shù)頭銜:講師

時(shí)間:2021年11月30日（周二）14：00

地點(diǎn):云塘

報(bào)告人簡介:徐超，講師，博士，碩士生導(dǎo)師。2009年畢業(yè)于湘潭大學(xué)計(jì)算機(jī)系，獲學(xué)士學(xué)位，2014年畢業(yè)于中中南大學(xué)獲碩士學(xué)位，2019年畢業(yè)于中南大學(xué)博士學(xué)位。                   

徐超講師一直從事于計(jì)算機(jī)算法優(yōu)化、可滿足性問題算法與求解器優(yōu)化等方面的研究。近年來，主持國家自然科學(xué)基金項(xiàng)目青年基金項(xiàng)目1項(xiàng)。在Theoretical Computer Science、WADS、IJCAI等著名國內(nèi)外期刊和國際學(xué)術(shù)年會上發(fā)表多篇論文。

報(bào)告內(nèi)容簡介: 可滿足性問題要求給出一個(gè)變量的賦值，使得在該賦值下，給定的合取范式為真。近幾十年來，可滿足性問題的研究取得了重大進(jìn)展，特別是CDCL（Conflict Driven Clause Learning）求解器的提出，使得求解器可以在幾分鐘內(nèi)解決數(shù)十萬變量和數(shù)百萬個(gè)子句的工業(yè)實(shí)例。最大可滿足性問題是可滿足性問題更一般化形式。本次講座從參數(shù)算法分析的角度，簡要講解最大可滿足性問題的時(shí)間復(fù)雜度上界算法以及核心化算法。

承辦單位:計(jì)算機(jī)與通信工程學(xué)院    通識教育中心