Constraint-Programmierung

Das Buch gibt einen kompakten, aber umfassenden berblick ber das Probleml sen und Programmieren mit "Constraints" (Randbedingungen). Diese aktuelle Programmiermethodik erm glicht es, Aufgaben direkt zu formulieren und effizient zu l sen. Sie gewinnt zusehends Bedeutung in Anwendungsbereichen wie Kombinatorische Suchprobleme (z.B. Zeitplanen, Layout-Optimierung), Berechnungen (Finanzanalyse), Simulation (Hardware-Verifikation) oder allgemein Schlie en und Rechnen mit ungenauer oder unvollst ndiger Information (z.B. Kostensch tzung). Die theoretisch fundierte Darstellung mit Aufgaben und Anwendungsbeispielen aus der Praxis ist in der Lehre erprobt, aber auch f r Forscher und Praktiker von Nutzen.

(Bookdata)