€ 0,00 0 Buch dabei,
Essentials of Constraint Programming als Buch

Essentials of Constraint Programming

Auflage 2003. Book. Sprache: Englisch.
Buch (gebunden)
The use of constraints had its scientific and commercial breakthrough in the 1990s. Programming with constraints makes it possible to model and specify problems with uncertain, incomplete information and to solve combi­ natorial problems, as they are … weiterlesen
Dieses Buch ist auch verfügbar als:

74,99 *

inkl. MwSt.
Lieferbar innerhalb von zwei bis drei Werktagen
Essentials of Constraint Programming als Buch


Titel: Essentials of Constraint Programming
Autor/en: Slim Abdennadher, Thom Frühwirth

ISBN: 3540676236
EAN: 9783540676232
Auflage 2003.
Sprache: Englisch.
Springer Berlin Heidelberg

27. Februar 2003 - gebunden - 160 Seiten


The use of constraints had its scientific and commercial breakthrough in the 1990s. Programming with constraints makes it possible to model and specify problems with uncertain, incomplete information and to solve combi­ natorial problems, as they are abundant in industry and commerce, such as scheduling, planning, transportation, resource allocation, layout, design, and analysis. This book is a short, concise, and complete presentation of constraint programming and reasoning, covering theoretical foundations, algorithms, implementations, examples, and applications. It is based on more than a decade of experience in teaching and research about this subject. This book is intended primarily for graduate students, researchers, and practitioners in diverse areas of computer science and related fields, including programming languages, computational logic, symbolic computation, and ar­ tificial intelligence. The book is complemented by a web-page with teaching material, software, links, and more. We take the reader on a step-by-step journey through the world of constraint-based programming and constraint reasoning. Feel free to join in ... Acknowledgements Thorn thanks his wife Andrea and his daughter Anna - for everything. He dedicates his contribution to the book to the memory of his mother, Grete. Slim thanks his wife N abila and his daughters Shirine and Amira for their ongoing support and patience.


1. Introduction.- I. Constraint Programming.- 2. Algorithm = Logic + Control.- 3. Preliminaries of Syntax and Semantics.- 4. Logic Programming.- 5. Constraint Logic Programming.- 6. Concurrent Constraint Logic Programming.- 7. Constraint Handling Rules.- II. Constraint Systems.- 8. Constraint Systems and Constraint Solvers.- 9. Boolean Algebra B.- 10. Rational Trees RT.- 11. Linear Polynomial Equations R.- 12. Finite Domains FD.- 13. Non-linear Equations I.- III. Applications.- 14. Market Overview.- 15. Optimal Sender Placement for Wireless Communication.- 16. The Munich Rent Advisor.- 17. University Course Timetabling.- IV. Appendix.- A. Foundations from Logic.- A.1 First-Order Logic: Syntax and Semantics.- A.2 Basic Calculi and Normal Forms.- A.2.1 Substitutions.- A.2.2 Negation Normal Form and Prenex Form.- A.2.3 Skolemization.- A.2.4 Clauses.- A.2.5 Resolution.- List of Figures.- References.


From the reviews:
"The book distinguishes itself as a concise, formal introduction to the field of constraint programming. In general, concision and precision come in pairs in this book, and the authors should be congratulated for this. ... the uniform style of this book makes it easier and easier to be read. Its structure is also well designed and concocts to create a fluid presentation ... . Anybody looking for a formal, essential but never shallow introduction to the field should definitely consider this book." (Rosella Gennari, Journal of Logic, Language and Information, Vol. 14, 2005)

Mehr aus dieser Reihe

Knowledge Representation and the Semantics of Natural Language
Buch (gebunden)
von Hermann Helbig
Artificial General Intelligence
Buch (gebunden)
Modeling Decisions
Buch (gebunden)
von Yasuo Narukawa, …
Neural Preprocessing and Control of Reactive Walking Machines
Buch (gebunden)
von Poramate Manoonp…
Machine Learning Techniques for Multimedia
Buch (gebunden)
089 - 70 80 99 47

Mo. - Fr. 8.00 - 20.00 Uhr
Sa. 10.00 - 20.00 Uhr
089 - 30 75 75 75

Mo. - Sa. 9.00 - 20.00 Uhr
Bleiben Sie in Kontakt:
Sicher & bequem bezahlen:
akzeptierte Zahlungsarten: Überweisung, offene Rechnung,
Visa, Master Card, American Express, Paypal
Zustellung durch:
* Alle Preise verstehen sich inkl. der gesetzlichen MwSt. Informationen über den Versand und anfallende Versandkosten finden Sie hier.
** Deutschsprachige eBooks und Bücher dürfen aufgrund der in Deutschland geltenden Buchpreisbindung und/oder Vorgaben von Verlagen nicht rabattiert werden. Soweit von uns deutschsprachige eBooks und Bücher günstiger angezeigt werden, wurde bei diesen kürzlich von den Verlagen der Preis gesenkt oder die Buchpreisbindung wurde für diese Titel inzwischen aufgehoben. Angaben zu Preisnachlässen beziehen sich auf den dargestellten Vergleichspreis.