Constraint-Programmierung

Die  Constraint-Programmierung ist eine junge Entwicklung auf dem Gebiet der Programmiersprachen, die sich zu einem bedeutenden und stetig wachsenden Forschungs- und Anwendungsfeld entwickelt hat. Sie liefert Methoden zur effizienten Modellierung von Systemen und zur Lösung von Aufgaben, bei denen nur unvollständige Informationen vorliegen, z.B. Such- und Optimierungsprobleme.

Wir bieten Themen zur Constraint-Programmierung in verschiedenen Bereichen an: 

•  Implementierung von Algorithmen zur Behandlung und Lösung von Constraints, z.B. für globale Constraint oder für Mengen-Constraints (zur Integration in eine am Lehrstuhl entwickelte Sprache)
• Untersuchung und Erweiterung von MCP ( Monadic Constraint Programming)
• Programmierung mit Constraints, z.B. zur Stundenplanung, Dienstplanung, Layout-Programmierung 

Kontakt: Petra Hofstedt,  Thomas König