报告题目：局部搜索：基础与方法
报告人：蔡少伟 研究员
报告时间：2018年8月15日 上午9:00-11:30
报告地点：计算机大楼A521报告厅
报告摘要：本报告主要面向对局部搜索算法感兴趣但还没有该方向科研经历的本科生或研究生。 局部搜索是求解组合优化问题的一种主要算法。本报告主要介绍局部搜索方法，包括算法的基本概念，以及若干比较有效的局部搜索技术，将结合具体问题进行讲解。
报告人简介: 蔡少伟，中科院软件所计算机科学国家重点实验室研究员。于2012年毕业于北京大学计算机软件与理论专业，获博士学位，于2014年毕业于Griffith大学IIIS研究所，获博士学位。主要研究方向为NP难组合优化问题求解，逻辑问题的算法，以及自动算法工程。发表论文50余篇，以一作/通讯作者在CCF A类期刊和会议发表论文20多篇，在命题逻辑可满足性问题(SAT)和最大可满足性问题(MaxSAT)国际比赛中多次获得冠军。多年担任人工智能顶级会议IJCAI和AAAI的PC member，任SCI期刊Frontiers of Computer Science的Young Associate Editor。
主办单位：
太阳成集团tyc122cc
太阳成集团tyc122cc软件学院
太阳成集团tyc122cc计算机科学技术研究所
符号计算与知识工程教育部重点实验室
