特殊时期，答辩采用线上会议形式进行，欢迎各位师生参会旁听！
会议时间：2020/6/3（周三） 18:50-22:20
腾讯会议 ID：603 772 244
会议密码：314159
答辩秘书：吴贯锋
答辩安排：
姓名 |
学号 |
导师 |
论文题目 |
主席 |
答辩委员 |
张世杰 |
2017201569 |
徐鹏 |
Web服务组合形式化验证方法的研究 |
徐扬 |
陈树伟 何星星 钟小梅 宋振明 |
沈雪 |
2017201567 |
陈树伟 |
基于CDCL的SAT算法中分支和子句删除策略的研究 |
徐扬 |
何星星 徐鹏 钟小梅 宋振明 |
王萌 |
2017201545 |
何星星 |
基于CDCL算法的分支与删除优化策略的研究 |
徐扬 |
陈树伟 秦克云 钟小梅 宋振明 |
艾森阳 |
2017201550 |
宋振明 |
基于CDCL算法的分支策略优化研究 |
徐扬 |
陈树伟 秦克云 何星星 钟小梅 |
郝乐 |
2017201539 |
刘军 |
改进的基于活性膜 P 系统的 SAT 求解算法 |
徐扬 |
陈树伟 何星星 钟小梅 宋振明 |
孙菁 |
2017201540 |
钟小梅 |
SAT求解器中变量分支策略与学习子句管理策略研究 |
徐扬 |
陈树伟 何星星 徐鹏 宋振明 |
