收录于话题
本期SPP报告将以计算机科学领域经典的约束满足问题求解算法为切入点，首先介绍约束满足问题的背景知识以及经典问题实例；此基础上，结合实例介绍约束满足问题求解算法的核心思想，包括搜索策略与约束推理等方面；最后介绍我们近期在约束求解方向上取得的一些研究进展以及思考。欢迎参与本期 SPP：7月 24日（本周三）19:30 —21:00。
本期直播你将收获哪些
演讲嘉宾
李宏博
CCF专业会员，东北师范大学副教授
李宏博，东北师范大学信息科学与技术学院副教授，博士生导师。主要从事约束求解与组合优化相关研究。围绕约束求解研究方向，主持了国家自然科学基金面上项目、青年项目、吉林省自然科学基金等科研项目；在CP、AAAI、IJCAI发表多篇约束求解相关学术论文，研究成果包括搜索算法、约束推理、冲突解释等方面，其中两项研究成果被国际流行的开源约束求解器Choco、ACE等采用。
开课时间
2024年7月24日（本周三）19:30-21:00
如何报名
SPP为免费直播。点击“阅读原文”立即报名，报名可在活动当天15:00前邮件获取到腾讯直播间链接，可与老师线上即时交流，也可通过预约文末CCF视频号观看活动直播。希望能通过这样的方式和你一起进步、成长。呼朋唤友来参加吧！
下期预告：
SPP第99期——大模型解释与对齐
报告嘉宾：王希廷——CCF高级会员，中国人民大学高瓴人工智能学院准聘助理教授
CCF推荐
【精品文章】
点击“阅读原文”，立即报名。