Constraint-Programmierung

Das Buch gibt einen kompakten, aber umfassenden UEberblick uber das Problemloesen und Programmieren mit "Constraints" (Randbedingungen). Diese aktuelle Programmiermethodik ermoeglicht es, Aufgaben direkt zu formulieren und effizient zu loesen. Sie gewinnt zusehends Bedeutung in Anwendungsbereichen wie Kombinatorische Suchprobleme (z.B. Zeitplanen, Layout-Optimierung), Berechnungen (Finanzanalyse), Simulation (Hardware-Verifikation) oder allgemein Schliessen und Rechnen mit ungenauer oder unvollstandiger Information (z.B. Kostenschatzung). Die theoretisch fundierte Darstellung mit Aufgaben und Anwendungsbeispielen aus der Praxis ist in der Lehre erprobt, aber auch fur Forscher und Praktiker von Nutzen.