Essentials of Constraint Programming

  • Thom Frühwirth
  • Slim Abdennadher

Part of the Cognitive Technologies book series (COGTECH)

Table of contents

  1. Front Matter
    Pages I-IX
  2. Introduction

    1. Thom Frühwirth, Slim Abdennadher
      Pages 1-3
  3. Constraint Programming

    1. Front Matter
      Pages 5-5
    2. Thom Frühwirth, Slim Abdennadher
      Pages 7-8
    3. Thom Frühwirth, Slim Abdennadher
      Pages 9-11
    4. Thom Frühwirth, Slim Abdennadher
      Pages 13-21
    5. Thom Frühwirth, Slim Abdennadher
      Pages 23-30
    6. Thom Frühwirth, Slim Abdennadher
      Pages 31-40
    7. Thom Frühwirth, Slim Abdennadher
      Pages 41-49
  4. Constraint Systems

    1. Front Matter
      Pages 51-51
    2. Thom Frühwirth, Slim Abdennadher
      Pages 53-62
    3. Thom Frühwirth, Slim Abdennadher
      Pages 63-68
    4. Thom Frühwirth, Slim Abdennadher
      Pages 69-75
    5. Thom Frühwirth, Slim Abdennadher
      Pages 77-82
    6. Thom Frühwirth, Slim Abdennadher
      Pages 83-92
    7. Thom Frühwirth, Slim Abdennadher
      Pages 93-97
  5. Applications

    1. Front Matter
      Pages 99-99
    2. Thom Frühwirth, Slim Abdennadher
      Pages 101-103
    3. Thom Frühwirth, Slim Abdennadher
      Pages 105-110
    4. Thom Frühwirth, Slim Abdennadher
      Pages 111-115

About this book

Introduction

The book is a short, concise and complete presentation of constraint programming and reasoning. The use of constraints had its scientific and commercial breakthrough in the 1990s. Programming with constraints makes it possible to model and solve problems with uncertain, incomplete information and combinatorial problems, as they are abundant in industry and commerce, such as scheduling, planning, transportation, resource allocation, layout, design and analysis. The theoretically well-founded presentation includes application examples from real life. It introduces the common classes of constraint programming languages and constraint systems in a uniform way. Constraint solving algorithms are specified and implemented in the constraint handling rules language (CHR).

This book is ideally suited as a textbook for graduate students and as a resource for researchers and practitioners. The Internet support includes teaching material, software, latest news and online use and examples of the CHR language.

Keywords

Algorithms Boolean algebra Resolution Syntax algorithm communication logic programming programming language semantics

Authors and affiliations

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

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-662-05138-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-642-08712-7
  • Online ISBN 978-3-662-05138-2
  • Series Print ISSN 1611-2482
  • About this book