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.
Author(s): Thom Frühwirth, Slim Abdennadher (auth.)
Series: Cognitive Technologies
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2003
Language: English
Pages: 147
Tags: Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages; Programming Techniques; Artificial Intelligence (incl. Robotics); Mathematics of Computing; Logics and Meanings of Programs
Front Matter....Pages I-IX
Introduction....Pages 1-3
Front Matter....Pages 5-5
Algorithm = Logic + Control....Pages 7-8
Preliminaries of Syntax and Semantics....Pages 9-11
Logic Programming....Pages 13-21
Constraint Logic Programming....Pages 23-30
Concurrent Constraint Logic Programming....Pages 31-40
Constraint Handling Rules....Pages 41-49
Front Matter....Pages 51-51
Constraint Systems and Constraint Solvers....Pages 53-62
Boolean Algebra B ....Pages 63-68
Rational Trees RT ....Pages 69-75
Linear Polynomial Equations ℜ....Pages 77-82
Finite Domains FD ....Pages 83-92
Non-linear Equations I ....Pages 93-97
Front Matter....Pages 99-99
Market Overview....Pages 101-103
Optimal Sender Placement for Wireless Communication....Pages 105-110
The Munich Rent Advisor....Pages 111-115
University Course Timetabling....Pages 117-122
Back Matter....Pages 123-147
