Constraint-Programmierung

Das Buch gibt einen kompakten, aber umfassenden berblick ber das Problemlsen und Programmieren mit "Constraints" (Randbedingungen). Diese aktuelle Programmiermethodik ermglicht es, Aufgaben direkt zu formulieren und effizient zu lsen. Sie gewinnt zusehends Bedeutung in Anwendungsbereichen wie Kombinatorische Suchprobleme (z.B. Zeitplanen, Layout-Optimierung), Berechnungen (Finanzanalyse), Simulation (Hardware-Verifikation) oder allgemein Schlieen und Rechnen mit ungenauer oder unvollstndiger Information (z.B. Kostenschtzung). Die theoretisch fundierte Darstellung mit Aufgaben und Anwendungsbeispielen aus der Praxis ist in der Lehre erprobt, aber auch fr Forscher und Praktiker von Nutzen.