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