Essentials of Constraint Programming

Nearby Libraries

My Reading Lists:

Create a new list

Only you can see this

Save Note
Last edited by ImportBot
September 11, 2021 | History

Essentials of Constraint Programming

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.

Publish Date
Language
English
Pages
147
Edition Availability
Cover of: Essentials of Constraint Programming
Essentials of Constraint Programming
2003, Springer Berlin Heidelberg
electronic resource / in English

Add another edition?

Book Details


Table of Contents

Introduction
Part I. Constraint Programming: Algorithm = Logic + Control; Preliminaries of Syntax and Semantics; Logic Programming; Constraint Logic Programming; Concurrent Constraint Logic Programming; Constraint Handling Rules
Part II. Constraint Systems: Constraint Systems and Constraint Solvers; Boolean Algebra B; Rational Trees RT; Linear Polynomial Equations R; Finite Domains FD; Non-linear Equations I
Part III. Applications: Market Overview; Optimal Sender Placement for Wireless Communication; The Munich Rent Advisor; University Course Timetabling
Part IV. Appendix: Foundations from Logic; List of Figures; References; Index.

Edition Notes

Online full text is restricted to subscribers.

Also available in print.

Mode of access: World Wide Web.

Published in
Berlin, Heidelberg
Series
Cognitive Technologies, Cognitive Technologies

Classifications

Dewey Decimal Class
005.13
Library of Congress
QA76.7-76.73, QA76.76.C65, QA76.758QA76.7-76.73, QA76.758

The Physical Object

Format
[electronic resource] /
Pagination
1 online resource (ix, 147 p.)
Number of pages
147

Edition Identifiers

Open Library
OL27037233M
ISBN 10
3642087124, 3662051389
ISBN 13
9783642087127, 9783662051382
OCLC/WorldCat
851371065

Work Identifiers

Work ID
OL19848419W

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON