报告人：何琨
报告地点：腾讯会议：737-267-161
报告时间：2022年11月1日星期二下午4:00
报告题目：从局部最优逃离的角度优化MaxSAT的局部搜索
报告简介：
MaxSAT的局部搜索算法一直是非常受欢迎且被广泛研究的一类方法。近年来，许多有效的策略和技术被提出或被迁移以改进MaxSAT的局部搜索算法。例如配置检测技术、概率采样技术、子句加权技术、初始解构造技术等等。但MaxSAT局部搜索算法中一些基本的框架和机制始终没有得到改进，例如常见的基于简单随机游走的局部最优逃离策略，以及每次迭代只翻转单个变量的搜索机制，这些机制都不利于算法在逃离局部最优时选择一个好的搜索方向。针对这一现状，我们提出了基于多臂赌博机和基于look-ahead双层变量翻转的两种局部最优逃离策略，显著改进了现有最好的MaxSAT局部搜索算法SATLike3.0。我们进一步用决策树将所提出的方法相结合，改进了著名的MaxSAT非完备求解器SATLike-c，改进的求解器DT-HyWalk在MaxSAT Evaluation 2022非完备组四个赛道中获三个亚军、一个季军。基于同种决策树方法的SAT求解器Kissat_MAB-HyWalk获得了SAT Competition 2022主赛道冠军。
报告人简介：
何琨，华中科技大学计算机学院教授、博士生导师，康奈尔大学Mary Upson冠名客座教授（2016-2017学年）。CCF杰出会员，ACM/IEEE高级会员，CCF理论计算机科学专委会副主任。主要研究领域包括可信人工智能、图数据挖掘、基于学习的优化等。作为项目负责人先后承担了国家自然科学基金企业联合重点项目和面上项目多项，获得约束规划原理与实践国际会议最佳论文奖、2022 SAT可满足性问题国际算法竞赛主赛道冠军等奖项。在NeurIPS、ICLR、CVPR、ICCV、ACL、EMNLP、AAAI、IJCAI等国际学术会议和TKDD、TOC、TPDS、TCS、EJOR、COR等权威期刊发表论文140余篇。担任CCF NCTCS 2017-2021国际学术会议程序委员会共同主席，担任NeurIPS、ICML、ICLR、CVPR、ICCV、AAAI、IJCAI、KDD、WWW、SDM等国际学术会议的(高级)程序委员会委员。
