8.3009 Selected Topics in Constraint ProgrammingPotyka
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.