近日，第27届国际约束编程原理及实践会议（The International Conference on Principles and Practice of Constraint Programming，简称CP）发布接收论文目录，我院博士生徐振兴等人的论文“Combining Clause Learning and Branch and Bound for MaxSAT”被该会议接收并获会议唯一最佳论文。我院兼职教授李初民和人工智能与优化研究所何琨教授为论文指导教师及合作作者，华中科技大学为第一作者单位。
作为约束类问题中最重要问题之一的最大满足性问题（MaxSAT）一直是国内外研究人员竞相研究的热点，它是著名的NP完全问题——可满足性问题（SAT）的优化形式。在过去几年，国内外研究人员一直在探索如何把有着优异效果的子句学习技术直接应用于MaxSAT问题上，但是一直没有突破，只能依靠局部调用基于子句学习的SAT求解器来间接运用。该论文研究成果将子句学习和分支限界技术相结合，构建了求解MaxSAT问题能直接使用的子句学习技术框架，使得SAT问题中最有效的技术——子句学习技术能够直接应用在MaxSAT问题的求解上。
CP会议是CCF最新推荐名录（2019年更新）中的B类会议，是专门关注约束类问题的会议之一，被学术界及工业界广泛关注。
稿件来源：计算机学院新闻中心
作者：郑迥之
