Venue:

Online, Tencent Meeting: 643-215-303

Abstract:

命题可满足性问题（SAT）是理论计算机科学中的基础问题。除了本身具有重要的理论和实际应用价值外，其研究衍生出的很多理论和技术对于求解其它的问题也具有借鉴意义。本次报告主要关注命题最大可满足性问题及其在最大团、最大加权团求解中的应用。介绍近年来在最大团求解上的最新成果，探讨单子句传播、失败文字检测等推理技术在算法设计中的具体应用。

Speaker Bio:

江华，云南大学软件学院副教授，华中科技大学计算机软件与理论专业博士，法国亚眠大学博士后，中国计算机学会理论计算机专委会专委。主要研究方向为组合优化问题的精确求解与启发式优化算法。在经典NP难问题—最大团问题精确求解算法设计上，基于MaxSAT推理的技术路线，先后提出多项性能处于国际领先水平的精确求解算法;相关成果在IJCAI、AAAI、JOC等国际会议和期刊上发表。主持国家自科基金地区项目一项。