中国计算机学会青年计算机科技论坛-哈尔滨分论坛
CCF Young Computer Scientists & Engineers Forum
CCF YOCSEF 哈尔滨
于
哈工大综合楼701
举行报告会，敬请光临
报告会主题
Max-SAT问题的求解算法
命题逻辑的可满足性（SAT）问题是第一个被证明为NP完备的问题。Max-SAT问题是SAT问题的一个很自然的扩展。很多理论上和工业界中的问题都可以转化为Max-SAT问题，从而用Max-SAT求解器来求解。因而近年来，Max-SAT问题的求解引起越来越多学者的关注。这次报告将介绍求解Max-SAT问题的几类主要算法，并重点探讨对基于分支定界算法的求解器的改进。
主讲人：林瀚 博士
简历：
执行主席：
刘绍辉 哈尔滨工业大学计算机科学与技术学院 讲师
CCF YOCSEF哈尔滨学术委员
左旺孟 哈尔滨工业大学计算机科学与技术学院 讲师
CCF YOCSEF哈尔滨委员
路线1：从哈工大护军街直行300米，从新技术楼即可进入综合楼。
路线2：从西大直街哈工大正门进入，直行100米右转，沿法院街直行200米左转，前行400米，从新技术楼即可进入综合楼。
京公网安备 11010802032778号
所有评论仅代表网友意见