CSCE 421/821

Foundations of Constraint Processing


Class schedule: the page will be regularly updated. Check it out regularly for announcements of required/recommended reading material, homework, etc.

General Information

Prereq: Instructor's permission

Course description: Constraint satisfaction has emerged as a powerful approach to articulate and solve many problems in computer science, engineering, and management.  It is now the basis for new programming languages and innovative commercial systems for production scheduling, product configuration, personnel planning and timetabling, etc.  The goal of this course is to prepare students to conduct research in this area. The course will be intensive and will require thorough study of the theory and the algorithms, and a significant implementation effort. Students are expected to be self motivated, and demonstrate intellectual independence and collegial collaboration.

Lectures: Monday, Wednesday, Friday, 3:30 p.m. to 4:20 p.m.
Location: AvH 110.

Make-up Class/Recitation: Wednesday, from 4:30--5:20 p.m.
Location: AvH 110.

Instructor:   Prof.  Berthe Y. Choueiry
      Office hours: Monday/Friday 4:30-5:30 p.m. or by appointment
      Zoom meeting room

Undergrad TA's:

"Constraint Processing" by Rina Dechter, 1st edition. The textbook will not be followed sequentially, but should be used for reference.
We keep a wiki page for errata and typos in the book.

For a quick response, send your questions to Piazza. Your message will be read by the TA and the instructor and they will respond to you ASAP.


Topics include but are not restricted to: