欧洲杯买球网站,2020欧洲杯买球网站

Southwest Jiaotong University School of Mathematics

教学通知

欧洲杯买球网站  >  教育教学  >  研究生教学  >  教学通知  >  正文

欧洲杯买球网站信息与计算科学系2020研究生答辩公告

欧洲杯买球网站:   作者:     日期:2020-05-29 11:31:48   点击数:  

 

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

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

腾讯会议 ID603 772 244

会议密码:314159

答辩秘书:吴贯锋

答辩安排:

姓名

学号

导师

论文题目

主席

答辩委员

张世杰

2017201569

徐鹏

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

徐扬

陈树伟

何星星

钟小梅

宋振明

沈雪

2017201567

陈树伟

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

徐扬

何星星

徐鹏

钟小梅

宋振明

王萌

2017201545

何星星

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

徐扬

陈树伟

秦克云

钟小梅

宋振明

艾森阳

2017201550

宋振明

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

徐扬

陈树伟

秦克云

何星星

钟小梅

郝乐

2017201539

刘军

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

徐扬

陈树伟

何星星

钟小梅

宋振明

孙菁

2017201540

钟小梅

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

徐扬

陈树伟

何星星

徐鹏

宋振明


XML 地图 | Sitemap 地图