Winter Term 2010/2011

Course Description

Lecturers:

Prof. Steffen Hölldobler, Mr. Sebastian Haufe

See the official Course Summary page for more details.

Time Table

• Mondays (1.11., 15.11., 22.11., 29.11., 06.12., 13.12.):
  • 1. DS Lecture (E 005)
• Fridays (29.10., 5.11., 19.11., 26.11., 7.1., 14.1., 21.1., 28.1.):
  • 2. DS Exercise (E 005)

Consultations

During the Open House or by appointment.

Details about the Examination

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

The 22nd of February 2011 between 9 am and 11 am, and between 12 pm and 2 pm you can have a look at your examination results (all parts: FLP, FCP, and LPE) in room 3027. Please reserve a time slot via this link.

Handouts and Slides

• Lecture 1 (Fri, 22 Oct 2010): Introduction
• Lecture 2 (Mon, 01 Nov 2010): CP in a Nutshell
• Lecture 3 (Mon, 15 Nov 2010): Complete Constraint Solvers
• Lecture 4 (Mon, 22 Nov 2010): Local Consistency
• Lecture 5 (Mon, 29 Nov 2010): Incomplete Constraint Solvers
• Lecture 6 (Mon, 06 Dez 2010): Constraint Propagation
• Lecture 7 (Mon, 13 Dez 2010): Search

Exercises

• Exercise 1 (Fri, 29 Oct 2010)
• • N Queens Solution
• Exercise 2 (Fri, 05 Nov 2010)
• • Permutations Solution
• Exercise 3 (Fri, 19 Nov 2010)
• • Magic Squares Solution
• Exercise 4 (Fri, 26 Nov 2010)
• • Einstein Puzzle Solution
• Exercise 5 (Fri, 14 Jan 2011)
• • XOR Solution
• Exercise 6 (Fri, 21 Jan 2011)
• • Island Puzzle Solution
• Exercise 7 (Fri, 28 Jan 2011)

Additional References

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