Lập trình ràng buộc

Lập trình ràng buộc (CP) là một mô hình tối ưu hóa khai báo, trong đó một bài toán được xây dựng dưới dạng một tập hợp các biến, miền hữu hạn và các ràng buộc, và một bộ giải tìm kiếm một cách có hệ thống các phép gán thỏa mãn tất cả các ràng buộc. Được Rossi, van Beek và Walsh chính thức hóa một cách toàn diện trong cuốn Handbook of Constraint Programming năm 2006, CP hợp nhất việc cắt tỉa dựa trên lan truyền với tìm kiếm quay lui thông minh để giải quyết các bài toán tổ hợp trong các lĩnh vực lập lịch, hoạch định và cấu hình.