中国计算机学会青年计算机科技论坛

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:30-17:00 交流环节

执行主席

高 健 大连海事大学副教授 CCF YOCSEF大连AC委员

彭健钧 大连工业大学讲师 CCF YOCSEF大连学术秘书

杨婷婷 大连海事大学副教授 CCF YOCSEF 大连学术秘书

报名方式：请于2018年08月17日12:00前与彭健钧联系，以便提供会务。

Email：pengjj@dlpu.edu.cn; Tel: 139 4206 1732。

报告会内容和特邀讲者简介

报告人：马菲菲，中国科学院软件研究所副研究员，研究方向为自动推理和约束求解。曾主持国家自然科学青年基金项目“可满足性问题的扩展研究”、“十二五”国家密码发展基金项目“面向密码理论的自动推理算法研究”，并参与了国家973计划项目“安全攸关软件系统的构造与质量保障方法研究”。作为项目负责人，与广电总局无线电台管理局合作完成了“短波广播资源优化调度算法”项目，并获2017年度王选新闻科学技术一等奖。在IJCAR/CADE, CP, SAT, TCS等国际重要会议和期刊上发表论文十余篇。

报告题目：可满足性模理论的解计数方法

报告摘要：可满足性模理论（Satisfiability Modulo Theories，简称SMT）研究理论谓词的逻辑组合的可满足性，是对命题逻辑公式可满足性问题（SAT）的扩展，具有强大的表达能力。SMT公式的解个数或解空间体积大小是一个基础的科学问题，在程序分析、概率程序验证、近似推理等领域有重要应用。本报告将首先介绍SMT的基础知识，然后探讨不同理论上SMT公式的解计数的精确和近似方法。

报告人：蔡少伟，中科院软件所计算机科学国家重点实验室研究员。于2012年毕业于北京大学计算机软件与理论专业，获博士学位，于2014年毕业于Griffith大学IIIS研究所，获博士学位。主要研究方向为NP难组合优化问题求解，逻辑问题的算法，以及自动算法工程。发表论文50余篇，以一作/通讯作者在CCF A类期刊和会议发表论文20多篇，在命题逻辑可满足性问题(SAT)和最大可满足性问题(MaxSAT)国际比赛中多次获得冠军。多年担任人工智能顶级会议IJCAI和AAAI的PC member，任SCI期刊Frontiers of Computer Science的Young Associate Editor。

报告题目：SAT solving and some recent progress of its incomplete methods

报告摘要：Propositional Satisfiability problem (SAT) is the first NP complete problem and finds applications in many fields. SAT solvers are critical in many important applications, from CPU design, software and hardware verification to theorem proving. In this talk, I will introduce the problem and related events, and review the essential ideas in modern solvers for SAT. Then, I will present some of my recent works in the incomplete methods, which lead to state of the art performance.

报告人： 韩鑫，教授，博士生导师，于2007年在日本京都大学通讯信息系获得博士学位，2007年-2009年在香港大学计算机系和日本东京大学计算机系做博士后研究，2009年至今任教于大连理工大学软件学院。主要从事在线算法，近似算法，组合优化的研究工作，近年来在装箱、背包、排序等问题取得了一系列理论成果。目前在计算机学会推荐国际期刊上共发表了30多篇文章，包括国际顶级期刊《SIAM Journal of Computing》、《Information and Computation》和《ACM Transactions on Algorithms》。

报告题目：A New Approximation Algorithm for Flow Shop with Transporter Coordination

报告摘要：In this talk, I will study a problem of the two-machine flowshop scheduling problem with intermediate transportation. This problem has been studied in [Computers & Operations Research'11, Journal of Scheduling'15, Journal of Combinatorial Optimization'16]. The best approximation algorithm was presented in [Journal of Scheduling'15] with 2-approximation ratio to our best knowledge. We propose 1.66667-approximation algorithm for this problem. Moreover, our algorithm can reach the lower bound 5/3 asymptotically given by [Journal of Combinatorial Optimization'16].