Advertisement

Constraint-Programmierung

Grundlagen und Anwendungen

  • Thom Frühwirth
  • Slim Abdennadher
Textbook

Part of the Springer-Lehrbuch book series (SLB)

Table of contents

  1. Front Matter
    Pages I-IX
  2. Thom Frühwirth, Slim Abdennadher
    Pages 1-6
  3. Thom Frühwirth, Slim Abdennadher
    Pages 7-16
  4. Thom Frühwirth, Slim Abdennadher
    Pages 17-34
  5. Thom Frühwirth, Slim Abdennadher
    Pages 35-51
  6. Thom Frühwirth, Slim Abdennadher
    Pages 53-64
  7. Thom Frühwirth, Slim Abdennadher
    Pages 65-77
  8. Thom Frühwirth, Slim Abdennadher
    Pages 79-89
  9. Thom Frühwirth, Slim Abdennadher
    Pages 91-122
  10. Thom Frühwirth, Slim Abdennadher
    Pages 123-141
  11. Thom Frühwirth, Slim Abdennadher
    Pages 143-156
  12. Back Matter
    Pages 157-165

About this book

Introduction

Dieses Lehrbuch ist die erste umfassende und einheitliche Einführung in die Constraint-Programmierung. Das noch junge Gebiet hat von Anfang an Forschung und Praxis neue Impulse gegeben. Constraint-Programmierung kann vorteilhaft eingesetzt werden zum Schließen auch bei unvollständiger Information (z.B. Finanzanalyse) und zum Lösen kombinatorischer Probleme (z.B. Zeitplanung, Entwurfsoptimierung) in Entscheidungsunterstützungssystemen.
Das Buch bietet eine kompakte aktuelle Darstellung der wesentlichen Aspekte und Entwicklungen in der logikorientierten Constraint-Programmierung - von der theoretisch fundierten Beschreibung der unterschiedlichen Klassen von Programmiersprachen über die gängigen Arten von Constraintsystemen und -lösern bis zu konkreten Anwendungsbeispielen aus der Praxis. Auf den WWW-Seiten zu diesem Buch finden sich Software, Lehrmaterial und mehr.

Keywords

Boolesche Algebra Logikprogrammierung Optimierung Problemlösen Programmieren Programmierung Prädikatenlogik Schließen Semantik Syntax Verifikation nebenläufig

Authors and affiliations

  • Thom Frühwirth
    • 1
  • Slim Abdennadher
    • 1
  1. 1.Institut für InformatikUniversität MünchenMünchenGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-59115-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-60670-3
  • Online ISBN 978-3-642-59115-0
  • Series Print ISSN 0937-7433
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Telecommunications