PHẦN I. GIỚI THIỆU VỀLẬP TRÌNH RÀNG BUỘC
Lập trình ràng buộc (Constraint Programming CP) là một trong những phát
triển thú vịvà mạnh mẽnhất của ngôn ngữlập trình trong thập kỷgần đây5,
7,10,11,24,28,36,37. Được xây dựng trên cơsởlý thuyết toán học vững chắc,
nó đang phát triển và đặc biệt là n[r]