ENGLISH

Essentials of Constraint Programming

By Thom Frühwirth , Slim Abdennadher (auth.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2003
ISBN
978-3-642-08712-7, 978-3-662-05138-2
DOI
10.1007/978-3-662-05138-2
Language
english
Format
PDF
Filesize
5 MB (5702515 bytes)
Series
Cognitive Technologies
Edition
1
Pages
147\141
Orientation
yes
Scanned
yes
Time added
2013-08-01 04:00:00
CompilersInterpreters; Mathematical Logic and Formal LanguaProgramming Languages

Description

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.

Similar books