8.3009 Selected Topics in Constraint Programming


Type Language Semester Credits Hours Room Time Term Year
S e 4 4 2 Do 10-12 S 2017
BSc: optional compulsory (Wahlpflichtbereich)
BSc examination field: Artificial Intelligence (KOGW-WPM-KI)
MSc: Major subject
MSc major: Artificial Intelligence


Prerequisites: Grundkenntnisse in Informatik und Mathematik

Constraint programming is a general framework for solving combinatorial search problems. Some typical application domains are scheduling problems, routing problems or bioinformatics. The basic idea is that a user specifies a set of variables and constraints between them and the constraint solver returns a valid solution or reports that the problem description is inconsistent.
In the first few weeks of the course, I will give a quick introduction to basic constraint solving techniques and linear programming. The rest of the course will then consist of student presentations that cover more advanced topics.

Link: http://www