Das Lehrbuch "Constraint-Programmierung" 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.
Die Constraint-Programmierung begann vor etwa 10 Jahren als natürliche Fusion zweier deklarativen Paradigmen: Lösen von Constraints und Logikprogrammierung. Dadurch lassen sich schnell und elegant komplexe kombinatorische Probleme durch eine Verbindung aus Constraintlösen und Suche behandeln. Unter Constraintlösen versteht man das Lösen von Problemen, indem man Constraints (Bedingungen, Einschränkungen) angibt, die von einer Lösung erfüllt werden müssen, und diese Constraints kombiniert, um die Lösung weiter einzuschränken.
Inhaltsübersicht: Einleitung.- Prädikatenlogik und Kalküle.- Logikprogrammierung.- Constraint-Logikprogrammierung.- Constrainterweiterungen.- Nebenläufige Constraint-Logikprogrammierung.- Constraint Handling Rules.- Constraintsysteme.- Kommerzielle Anwendungen.- Übungsaufgaben und Lösungsvorschläge.- Literaturverzeichnis.- Abbildungsverzeichnis.- Index.
Das erste Kapitel des Buches (ps.Z).
Kontakt:
Springer-Email für Ihre Fragen zum Buch.
Oder kontaktieren Sie die Autoren:
fruehwir@informatik.uni-muenchen.de,
Slim.Abdennadher@informatik.uni-muenchen.de