* Thom Frühwirth, Slim Abdennadher. Essentials of Constraint
programming, Springer 2003

* Krzysztof Apt. Principles of Constraint
Programming, Cambridge University Press, 2003

VERANSTALTUNG: NUR IN ENGLISCH

Studierende lernen die Grundlagen alternativer Programmierparadigmen am Beispiel von Constraint programming und Logischer Programmierung kennen. Dabei lernen sie sowohl die grundlegenden theoretischen Konzepte als auch Anwendungsbeispiele kennen, die sie dabei unterstützen sich ein Verständnis der Vor- und Nachteile dieser Programmiertechniken und Ihrer Grenzen zu erarbeiten.Anschließend können Studierende diese Ansätze zielgerichtet und kompetent einsetzen,  um konkrete Probleme zu lösen und die Eignung von Problemen für diese Ansätze einordnen.LehrinhalteEs werden die grundlegenden Konzepte von Constraintprogrammierung und logischer Programmierung beschrieben. Verschiedene Klassen von Constraint Programmierungssprachen und die entsprechenden Constraintsysteme werden beschrieben. Konkrete Sprachen und Solver warden beschrieben und im Rahmen der Übungen eingesetzt. Die Spezialfälle bestimmter Domänen wie Boolesche Algebra oder Finite Domainen werden besprochen. Die Veranstaltungen enthalten jeweils einen Übungsanteil zur Vertiefung der jeweiligen Ideen.