Thom Fruhwirth, Slim Abdennadher Constraint-Programmierung

Annotation

Das Buch gibt einen kompakten, aber umfassenden Uberblick uber das Problemlosen und Programmieren mit "Constraints" (Randbedingungen). Diese aktuelle Programmiermethodik ermoglicht es, Aufgaben direkt zu formulieren und effizient zu losen. 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 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.