Die Constraint-Programmierung liefert Methoden zur effizienten Modellierung von Systemen oder zur Losung von Problemen, fur die nur unvollstandige Informationen vorliegen. Ebenso hilft sie kombinatorische Probleme zu losen oder komplexe Deduktionssysteme zu entwickeln. Dieses kompakte Lehrbuch fuhrt in die Constraint-Programmierung ein. Neben den Grundlagen stellen die Autoren Sprachen, Methoden und Verfahren zur Modellierung und Losung von Constraint-Problemen vor. Daruber hinaus betrachten sie deren Anwendungsfelder und veranschaulichen diese anhand typischer Beispiele wie Terminplanung,...