约束满足问题建模与求解｜SPP第98期

中国计算机学会 · 公众号 · · 2024-07-22 17:13

正文

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

本期直播你将收获哪些

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

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

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

演讲嘉宾

李宏博

CCF专业会员，东北师范大学副教授

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

开课时间

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

如何报名

SPP为免费直播。点击“阅读原文”立即报名，报名可在活动当天15:00前邮件获取到腾讯直播间链接，可与老师线上即时交流，也可通过预约文末CCF视频号观看活动直播。希望能通过这样的方式和你一起进步、成长。呼朋唤友来参加吧！