Authors:
- Concise presentation of the principles of constraint programming and reasoning
- Includes examples for students and Internet home page with teaching material, software, and latest news
- Includes supplementary material: sn.pub/extras
Part of the book series: Cognitive Technologies (COGTECH)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (17 chapters)
-
Front Matter
-
Introduction
-
Constraint Systems
-
Front Matter
-
-
Applications
-
Front Matter
-
About this book
Reviews
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)
Authors and Affiliations
-
Fakultät für Informatik, Universität Ulm, Ulm, Germany
Thom Frühwirth
-
Institut für Informatik, Universität München, München, Germany
Slim Abdennadher
Bibliographic Information
Book Title: Essentials of Constraint Programming
Authors: Thom Frühwirth, Slim Abdennadher
Series Title: Cognitive Technologies
DOI: https://doi.org/10.1007/978-3-662-05138-2
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2003
Hardcover ISBN: 978-3-540-67623-2Published: 27 February 2003
Softcover ISBN: 978-3-642-08712-7Published: 15 December 2010
eBook ISBN: 978-3-662-05138-2Published: 14 March 2013
Series ISSN: 1611-2482
Series E-ISSN: 2197-6635
Edition Number: 1
Number of Pages: IX, 147
Topics: Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters, Mathematical Logic and Formal Languages, Programming Techniques, Artificial Intelligence, Mathematics of Computing