8月12日至8月14日，由黔南民族师范学院主办，黔南民族师范学院计算机与信息学院承办，黔南州计算机学会、贵州省复杂系统与智能优化特色重点实验室协办的第五届难解问题的表示、算法与应用研讨会成功召开，会议采用线上线下的方式同步进行。



来自上海交通大学、厦门大学、华南理工大学、香港中文大学、华中科技大学、电子科技大学、西安交通大学、哈尔滨工业大学、华为、国际航协等单位120多位代表参加线下研讨会。开幕式由黔南民族师范学院计算机与信息学院院长李明江教授主持。



我校党委副书记、校长石云辉教授出席开幕式并致辞，他向远道而来莅临都匀参会的各位来宾表示欢迎，并对我校办学特色、目标定位、师资状况、人才培养等基本情况进行了介绍。他指出，HCP研讨会是致力于促进难解计算问题相关领域的研究人员和相关工业界人员的交流与合作，促成有影响力的学术成果和产研合作，希望各位专家、学者及所有来宾在这次学术交流中收获满满，HCP2022研讨会圆满成功。

在8月13日上午的EDA专场和产业论坛专场报告环节中，华中科技大学吕志鹏教授、香港中文大学徐强教授、宁波大学储著飞副教授、前国际航空运输协会北亚区总监侯侃、数美科技战略总监陈鹤天、中国能源建设集团广东省电力设计研究院有限公司规划部部长郑赟分别作了题为《工业优化算法——在EDA中的应用》《An EDA-Driven Learning Framework for SAT Solving》《基于布尔可满足性的逻辑综合及其应用》《数字孪生在航空业的应用前景》《优化算法在仓储规划选址中的应用探索》和《人工智能和大数据分析在能源领域中的应用》的专题报告。



在8月13日下午求解器专场和图论专场的报告环节中，上海财经大学陆品燕教授、中科院软件所研究员蔡少伟研究员、杉数科技高级副总裁皇甫琦、中科院重庆研究院副研究员陈长波、东北师范大学梁家馨、华北电力大学王永教授、电子科技大学周毅副教授、黔南民族师范学院范懿副教授、上海交通大学汪润中博士分别作为题为《求解器算法、分类及应用》《SMT求解器Z3++》《整数规划求解器算法与实践》《多项式系统求解及应用》《AllISATCC: Boosting AlISAT Solving with Efficient Component Analysis》《基于频率四边形的旅行商问题割边算法及应用》《Listing Maximal -Plexes in Large Real-World Graphs》《Reductions for Minimum Weight Dominating Sets Based on A Partial Optimum Solution》《A Bi-Level Framework for Learning to Solve Combinatorial Optimization on Graphs》的专题报告。



在8月14日上午组合优化问题专场的报告环节中，华南理工大学詹志辉教授、厦门大学张德富教授、西安交通大学柯良军教授、云南大学江华副教授、黔南民族师范学院海涛教授、东北师范大学王艺源副教授、哈尔滨工业大学深圳校区郑为杰博士分别作为题为《面向难解组合优化问题的进化计算方法》《强化学习在组合优化中的应用研究》《基于深度强化学习的资源调度问题研究》《最大K-PLEX问题的上界计算》《DependData: Data collection dependability through three-layer decision-making in BSNs for healthcare monitoring》《大规模连通支配集问题的启发式策略研究》《NSGA-II 的优化理论》的专题报告。



本次学术研讨会的成功举办，有效推动难解问题的表示、算法在EDA、产业、求解器、图论和组合优化问题等领域中的应用,为学界与业界开展多角度、深层次、全方位的交流和合作打造了一个良好平台。



一审：杨朵

二审：李昌

三审：舒梦月