教学通知
教学通知
首页  >  教育教学  >  研究生教学  >  教学通知  >  正文

    金沙威尼斯欢乐娱人城信息与计算科学系2020研究生答辩公告

    2020-05-29  点击:[]

     

    特殊时期,答辩采用线上会议形式进行,欢迎各位师生参会旁听!

    会议时间:2020/6/3(周三) 18:50-22:20

    腾讯会议 ID603 772 244

    会议密码:314159

    答辩秘书:吴贯锋

    答辩安排:

    姓名

    学号

    导师

    论文题目

    主席

    答辩委员

    张世杰

    2017201569

    徐鹏

    Web服务组合形式化验证方法的研究

    徐扬

    陈树伟

    何星星

    钟小梅

    宋振明

    沈雪

    2017201567

    陈树伟

    基于CDCLSAT算法中分支和子句删除策略的研究

    徐扬

    何星星

    徐鹏

    钟小梅

    宋振明

    王萌

    2017201545

    何星星

    基于CDCL算法的分支与删除优化策略的研究

    徐扬

    陈树伟

    秦克云

    钟小梅

    宋振明

    艾森阳

    2017201550

    宋振明

    基于CDCL算法的分支策略优化研究

    徐扬

    陈树伟

    秦克云

    何星星

    钟小梅

    郝乐

    2017201539

    刘军

    改进的基于活性膜 P 系统的 SAT 求解算法

    徐扬

    陈树伟

    何星星

    钟小梅

    宋振明

    孙菁

    2017201540

    钟小梅

    SAT求解器中变量分支策略与学习子句管理策略研究

    徐扬

    陈树伟

    何星星

    徐鹏

    宋振明


    上一条:金沙威尼斯欢乐娱人城 信息与计算科学系 2017级硕士研究生答辩公告
    下一条:金沙威尼斯欢乐娱人城信息与计算科学系2020研究生答辩公告

    关闭

Baidu
sogou