本期SPP报告将以计算机科学领域经典的约束满足问题求解算法为切入点，首先介绍约束满足问题的背景知识以及经典问题实例；此基础上，结合实例介绍约束满足问题求解算法的核心思想，包括搜索策略与约束推理等方面；最后介绍我们近期在约束求解方向上取得的一些研究进展以及思考。欢迎参与本期 SPP：7月 24日（本周三）19:30 —21:00。

本期直播你将收获哪些

1、了解约束满足问题背景知识；

2、了解约束满足问题的经典实例；

2、了解基本的约束求解算法。

演讲嘉宾

李宏博，东北师范大学信息科学与技术学院副教授，博士生导师。主要从事约束求解与组合优化相关研究。围绕约束求解研究方向，主持了国家自然科学基金面上项目、青年项目、吉林省自然科学基金等科研项目；在CP、AAAI、IJCAI发表多篇约束求解相关学术论文，研究成果包括搜索算法、约束推理、冲突解释等方面，其中两项研究成果被国际流行的开源约束求解器Choco、ACE等采用。

开课时间

2024年7月24日（本周三）19:30-21:00