Book 2007

Einführung in die Constraint-Programmierung

Grundlagen, Methoden, Sprachen, Anwendungen

Authors:

ISBN: 978-3-540-23184-4 (Print) 978-3-540-68194-6 (Online)

Table of contents (14 chapters)

  1. Front Matter

    Pages I-XII

  2. Einführung

    1. Front Matter

      Pages 1-1

    2. No Access

      Chapter

      Pages 3-11

      Prädikatenlogik

    3. No Access

      Chapter

      Pages 13-49

      Logische Programmierung

  3. Constraints, Constraint-Systeme und Constraint-Löser

    1. Front Matter

      Pages 51-52

    2. No Access

      Chapter

      Pages 53-70

      Constraints und Constraint-Löser

    3. No Access

      Chapter

      Pages 71-96

      Constraints über endlichen Wertebereichen — Finite-Domain-Constraints

    4. No Access

      Chapter

      Pages 97-124

      Lineare Arithmetische Constraints

  4. Constraint-Sprachen

    1. Front Matter

      Pages 125-126

    2. No Access

      Chapter

      Pages 127-140

      Constraint-logische Programmierung (CLP)

    3. No Access

      Chapter

      Pages 141-162

      Nebenläufige Constraint-logische Programmierung

    4. No Access

      Chapter

      Pages 163-182

      Constraint Handling Rules

    5. No Access

      Chapter

      Pages 183-215

      Constraint-imperative und Constraint-objektorientierte Programmierung

  5. Modellierung von Constraint-Problemen

    1. Front Matter

      Pages 217-217

    2. No Access

      Chapter

      Pages 219-249

      Realisierung und Verwendung globaler Constraints

    3. No Access

      Chapter

      Pages 251-262

      Symmetrien und Redundanzen

    4. No Access

      Chapter

      Pages 263-272

      Modellierungsbeispiele

  6. Lösung von Constraint-Problemen

    1. Front Matter

      Pages 273-273

    2. No Access

      Chapter

      Pages 275-297

      Die Suche nach Lösungen von CSP

    3. No Access

      Chapter

      Pages 299-313

      Optimale Lösungen von CSP

  7. Back Matter

    Pages 315-388