特殊時(shí)期,答辯采用線上會(huì)議形式進(jìn)行,歡迎各位師生參會(huì)旁聽!
會(huì)議時(shí)間:2020/6/3(周三) 18:50-22:20
騰訊會(huì)議 ID:603 772 244
會(huì)議密碼:314159
答辯秘書:吳貫鋒
答辯安排:
姓名 |
學(xué)號(hào) |
導(dǎo)師 |
論文題目 |
主席 |
答辯委員 |
張世杰 |
2017201569 |
徐鵬 |
Web服務(wù)組合形式化驗(yàn)證方法的研究 |
徐揚(yáng) |
陳樹偉 何星星 鐘小梅 宋振明 |
沈雪 |
2017201567 |
陳樹偉 |
基于CDCL的SAT算法中分支和子句刪除策略的研究 |
徐揚(yáng) |
何星星 徐鵬 鐘小梅 宋振明 |
王萌 |
2017201545 |
何星星 |
基于CDCL算法的分支與刪除優(yōu)化策略的研究 |
徐揚(yáng) |
陳樹偉 秦克云 鐘小梅 宋振明 |
艾森陽(yáng) |
2017201550 |
宋振明 |
基于CDCL算法的分支策略優(yōu)化研究 |
徐揚(yáng) |
陳樹偉 秦克云 何星星 鐘小梅 |
郝樂(lè) |
2017201539 |
劉軍 |
改進(jìn)的基于活性膜 P 系統(tǒng)的 SAT 求解算法 |
徐揚(yáng) |
陳樹偉 何星星 鐘小梅 宋振明 |
孫菁 |
2017201540 |
鐘小梅 |
SAT求解器中變量分支策略與學(xué)習(xí)子句管理策略研究 |
徐揚(yáng) |
陳樹偉 何星星 徐鵬 宋振明 |