本课程为北京大学数学科学学院本研合上课程。

时间：2026年秋季学期，9月8日开始，单周二3-4节，每周四5-6节。

地点：三教306。

答疑：双周二10:00-11:00，智华楼353，需提前至少一天邮件预约，也可预约其他时间。

课程内容：在学习了基本程序设计技术（计算概论），算法与数据结构的基本概念和技术的基础上，通过本课程进一步加强使用计算机解决问题的能力。约束编程、约束求解是近三十年来人工智能领域的一个重要研究方向，约束编程是一种声明式的编程范式，通过约束条件对变量之间的关系进行陈述，给出问题解的一些属性规范，通过约束传播等算法对其进行求解。课程中将讲解约束编程相关的技术与方法，所讲授的主要内容包括约束满足问题（CSP）、约束编程的基本框架、约束求解工具、一致性问题、约束传播及检索算法等内容，并对当前约束编程领域的新兴技术进行适当讨论。

教材及参考书目（[2,3]为数学学院图书馆馆藏）：

[1] Krzysztof Apt. Principles of Constraint Programming. Cambridge University Press, 2009.

[2] Francesca Rossi，Peter van Beek，Toby Walsh. Handbook of Constraint Programming. Elsevier, 2006.

[3] Thom Frühwirth, Slim Abdennadher. Essentials of Constraint Programming. Springer, 2003.

成绩判定：

本课程选课学生需要做一次关于前沿论文的课堂报告（可从2026年32nd International Conference on Principles and Practice of Constraint Programming会议长文（序号3-61之间）中任选一篇进行报告），并完成一篇课程论文。期末成绩基于课堂报告水平和课程论文质量综合评定。

课程日程安排（第一次上课会建课程微信群，具体上课日期及讲授内容可能会有所调整，以课程微信群通知为准）：

课程论文可选题目：基于约束求解的规则与结论验证，题目介绍及要求均可见链接文件。