English  简体中文
搜索   
首页 中心概况 新闻动态 科研成果 研究队伍 技术园地 公共信息 联系我们

学术报告:用于SAT问题的搜索算法


2017-06-28        撰稿人: 魏子豪


报告人:蔡少伟
时间: 2017年7月1日星期六上午9:30
地点:信息工程研究所4212会议室
内容提要:本报告主要介绍命题逻辑可满足性问题(SAT),将重点介绍两类求解算法,包括基于回溯搜索的SAT算法和基于局部搜索的SAT算法,并介绍该方向的最新进展。
报告人简介:蔡少伟,中国科学院软件所计算机科学国家重点实验室副研究员,2012和2014年分别毕业于北京大学和格里菲斯大学,分别获得计算机博士学位和应用数学博士学位。他对人工智能和算法设计有广泛兴趣,主要研究方向包括逻辑问题的算法求解和组合优化,在命题逻辑可满足性问题(SAT)和MaxSAT问题的国际比赛中多次获奖。

评论人:          
lois.local\

中国科学院DCS中心版权所有
地址:北京市海淀区闵庄路甲89号 4号楼
联系电话:010-82546536 010-82546537
京ICP备05046059号