Lập Thời khóa biểu là công việc cần thiết và quan trọng mà tất cả các tổ chức giáo dục phải thực hiện nhằm đƣa ra biểu đồ kế hoạch năm học, lịch giảng dạy và học tập cho giáo viên, học sinh. Trƣớc đây, khi CNTT chƣa đƣợc phát triển mạnh mẽ và ứng dụng rộng rãi thì công việc này thƣờng đƣợc thực hiện một cách thủ công trên giấy, tiêu tốn nhiều chi phí, thời gian và công sức. Bài toán lập Thời khóa biểu tronng trƣờng học là một một trƣờng hợp riêng của bài toán lập lịch đƣợc xếp vào hàng các bài toán khó chƣa có giải thuật tối ƣu nhất. Có rất nhiều thuật toán, phƣơng pháp tiếp cận khác nhau đƣợc các nhà khoa học trên thế giới đƣa ra nhằm giải quyết bài toán này. Song, một phƣơng pháp tiếp cận khá là mới và đƣợc cho là giải pháp tối ƣu cho các bài toán lập lịch đó là ứng dụng ngôn ngữ lập trình ràng buộc vào giải quyết các bài toán tổ hợp. Với mục tiêu xây dựng một chƣơng trình lập thời khóa biểu hoạt động hiệu quả, khóa luận xin trình bày về ngôn ngữ lập trình ràng buộc Comet và ứng dụng Comet để giải quyết bài toán lập thời khóa biểu. Comet là ngôn ngữ lập trình ràng buộc mới đƣợc phát triển và ứng dụng. Đây là ngôn ngữ lập trình điển hình nhất cho việc giải quyết các bài toán tổ hợp nhƣ lập lịch, lập kế hoạch Đây cũng là một ngôn ngữ lập trình hƣớng đối tƣợng, dễ sử dụng và cấu trúc câu lệnh tƣơng đối giống với ngôn ngữ lập trình C++.