Skip to main content
SpringerLink
Log in

Constraint-Programmierung

Grundlagen und Anwendungen

  • Textbook
  • © 1997

Overview

Authors:
  1. Thom Frühwirth

    1. Institut für Informatik, Universität München, München, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Slim Abdennadher

    1. Institut für Informatik, Universität München, München, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Springer-Lehrbuch (SLB)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 19.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 24.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (10 chapters)

  1. Front Matter

    Pages I-IX
    Download chapter PDF

  2. Einleitung

    • Thom Frühwirth, Slim Abdennadher
    Pages 1-6

  3. Prädikatenlogik und Kalküle

    • Thom Frühwirth, Slim Abdennadher
    Pages 7-16

  4. Logikprogrammierung

    • Thom Frühwirth, Slim Abdennadher
    Pages 17-34

  5. Constraint-Logikprogrammierung

    • Thom Frühwirth, Slim Abdennadher
    Pages 35-51

  6. Constrainterweiterungen

    • Thom Frühwirth, Slim Abdennadher
    Pages 53-64

  7. Nebenläufige CL-Programmierung

    • Thom Frühwirth, Slim Abdennadher
    Pages 65-77

  8. Constraint Handling Rules

    • Thom Frühwirth, Slim Abdennadher
    Pages 79-89

  9. Constraintsysteme

    • Thom Frühwirth, Slim Abdennadher
    Pages 91-122

  10. Anwendungen

    • Thom Frühwirth, Slim Abdennadher
    Pages 123-141

  11. A Übungsaufgaben und Lösungsvorschläge

    • Thom Frühwirth, Slim Abdennadher
    Pages 143-156

  12. Back Matter

    Pages 157-165
    Download chapter PDF
Back to top

Keywords

About this book

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.

Authors and Affiliations

  • Institut für Informatik, Universität München, München, Germany

    Thom Frühwirth, Slim Abdennadher

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation