中国计算机学会青年计算机科技论坛
CCF Young Computer Scientists & Engineers Forum Dalian
CCF YOCSEF大连
于2018年08月17日13:30分
在大连海事大学西山扬帆楼304教室举行
“人工智能与优化算法”报告会
报告会议程
13:00-13:30 签到
13:30-14:30 学术报告
特邀讲者：马菲菲 中国科学院软件研究所、副研究员
题目：可满足性模理论的解计数方法
14:30-15:30 学术报告
特邀讲者：蔡少伟 中科院软件所计算机科学国家重点实验室、研究员
题目：SAT solving and some recent progress of its incomplete methods
15:30-16:30 学术报告
特邀讲者：韩 鑫 大连理工大学、教授、博士生导师
题目： A New Approximation Algorithm for Flow Shop with Transporter Coordination
16