Advertisement

Einführung in die Constraint-Programmierung

Grundlagen, Methoden, Sprachen, Anwendungen

  • Petra Hofstedt
  • Armin Wolf

Part of the eXamen.press book series (EXAMEN)

Table of contents

  1. Front Matter
    Pages I-XII
  2. Einführung

    1. Front Matter
      Pages 1-1
    2. Pages 3-11
  3. Constraints, Constraint-Systeme und Constraint-Löser

  4. Constraint-Sprachen

  5. Modellierung von Constraint-Problemen

    1. Front Matter
      Pages 217-217
    2. Pages 263-272
  6. Lösung von Constraint-Problemen

    1. Front Matter
      Pages 273-273
  7. Back Matter
    Pages 315-388

About this book

Introduction

Die Constraint-Programmierung liefert Methoden zur effizienten Modellierung von Systemen oder zur Lösung von Problemstellungen, bei denen nur unvollständige Informationen vorliegen (z.B. Entscheidungssysteme, Optimierungsprobleme, Analyse stochastischer Prozesse), sowie zur Lösung kombinatorischer Probleme (Ressourcenmanagement) oder auch bei der Entwicklung komplexer Deduktionssysteme.

Dieses Lehrbuch gibt eine kompakte Einführung in die Constraint-Programmierung. Dabei werden neben allgemeinen theoretischen Grundlagen auch Sprachen, Methoden und Verfahren zur Modellierung und Lösung von Constraint-Problemen vorgestellt sowie deren Anwendungsfelder betrachtet und anhand typischer Beispiele wie Terminplanung, Finanzwesen, Optimierung, Simulation und Diagnose vergegenständlicht.

Das Buch richtet sich an Studierende der Informatik im Hauptstudium. Es basiert auf einer einsemestrigen Vorlesung mit Übungen der Autoren.

Keywords

Methode Modellierung Objektorientiert Objektorientierte Programmierung Optimierung Programmiersprache Programmierung Simulation Suche nebenläufig

Authors and affiliations

  • Petra Hofstedt
    • 1
  • Armin Wolf
    • 2
  1. 1.Fakultät für Elektrotechnik und InformatikTechnische Universität BerlinBerlin
  2. 2.Fraunhofer-Institut für Rechnerarchitektur und SoftwaretechnikBerlin

Bibliographic information

Industry Sectors
Pharma
Automotive
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering