3 Review(s)

Das Buch gibt einen kompakten, aber umfassenden UEberblick ueber 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 unvollstaendiger Information (z.B. Kostenschaetzung). Die theoretisch fundierte Darstellung mit Aufgaben und Anwendungsbeispielen aus der Praxis ist in der Lehre erprobt, aber auch fuer Forscher und Praktiker von Nutzen.