Winter Term 2009/2010

Course Description

Lecturers:

Prof. Michael Thielscher, Mr. Sebastian Voigt

See the official Course Summary page for more details.

Time Table

• Wednesdays 4. DS (E 005):
  • Lecture: 14.10., 21.10., 4.11., 11.11., 9.12., 6.1., 13.1.
  • Exercise: 28.10., 25.11., 2.12., 16.12., 20.1., 27.1., 3.2. (lab presentation)

Consultations

During the Open House or by appointment.

Details about the Examination

The written exam takes place the 22nd of February at 10.00 am in room E 005. For parts FLP and FCP, all written materials are allowed, except electronic devices. Student and personal id cart have to be presented.

The 26th of February between 11 am and 12 am you can have a look at your examination result in room 2004.

Handouts and Slides

• Lecture 1 (Wed, 14 Oct 2009): Introduction
• Lecture 2 (Wed, 21 Oct 2009): CP in a Nutshell
• Lecture 3 (Wed, 04 Nov 2009): Complete Constraint Solvers
• Lecture 4 (Wed, 11 Nov 2009): Local Consistency
• Lecture 5 (Wed, 09 Dec 2009): Incomplete Constraint Solvers
• Lecture 6 (Wed, 06 Jan 2010): Constraint Propagation
• Lecture 7 (Wed, 13 Jan 2010): Search

Exercises

• Exercise 1 (Wed, 28 Oct 2009)
• • N Queens Solution
• Exercise 2 (Wed, 25 Nov 2009)
• • Magic Squares Solution
• Exercise 3 (Wed, 02 Dec 2009)
• • Permutations Solution
• Exercise 4 (Wed, 16 Dec 2009)
• • XOR Solution
• Exercise 5 (Wed, 20 Jan 2010)
• • Island Solution
• Exercise 6 (Wed, 27 Jan 2010)

Constraint Programming Lab

Select one of the following two tasks: Pallet Loading or Solitaire Battleship. The final program should be submitted no later than January 31st 2010 via email to Sebastian Voigt. You may decide to work in teams of two. The successful completion of the programming task is a prerequisite to participate in the final examination for the course.

The presentation of the programs will take place on Wednesday the 3rd of February at 1 pm in room E 005. Please have a printout of your program with you and be prepared to present the main structure and features of your work. You should talk approximately 5 to 7 minutes. Do not prepare slides or overheads.

• Pallet Loading
• • Example 1
  • Example 2
  • Example 3
• Solitaire Battleship
• • Example 1
  • Example 2
  • Example 3

Additional References

• Book "Principles of Constraint Programming" by Krzysztof Apt in the library