First meeting: Thursday, 2013-10-17 14:00 in O27/121.

Constraint programming combines declarative programming with efficient problem solving techniques in particular mathematical optimization und artificial intelligence. It is a subject of active research which already showcases a substantial number of industrial applications.

Programming will be done in Prolog or Java with Constraint Handling Rules (CHR). A Prolog-based version of CHR can be tried online.

Students will learn basic understanding and knowledge on principles and practice of constraint programming. This will be applied and deepened in terms of a comprehensive project in which students learn to use constraint programming for modeling and solving of a problem.

Previous knowledge of CHR and the Eclipse environment is advantageous but not required.

This project is part of the project module Constraint Programming to which the two courses Constraint-Programming and Rule-Based Programming also belong to.