This specific ISBN edition is currently not available.View all copies of this ISBN edition:
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.
"synopsis" may belong to another edition of this title.
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.Review:
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)
"About this title" may belong to another edition of this title.
Book Description Hardcover. Condition: New. We offer 100% Customer Satisfaction. Books Shipped within 24 hours from our Warehouse. We use Regular 4 to 14 days delivery and FEDEX / DHL & TNT COURIER with delivery time of 7 to 10 days.". Seller Inventory # dbs_1_9783540676232
Book Description Springer. Condition: New. pp. ix + 145. Seller Inventory # 7525575
Book Description Springer, 2016. Paperback. Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540676232_lsuk
Book Description Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2003. HRD. Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9783540676232
Book Description Springer, 2003. Hardcover. Condition: New. 2003. Seller Inventory # DADAX3540676236
Book Description Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2003. HRD. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9783540676232
Book Description Oxford University Press Inc, 1990. Condition: New. This item is printed on demand for shipment within 3 working days. Seller Inventory # LP9783540676232
Book Description Springer, 2003. Hardback. Condition: NEW. 9783540676232 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Seller Inventory # HTANDREE0342354
Book Description Springer, 2018. Hardcover. Condition: New. Never used! This item is printed on demand. Seller Inventory # 3540676236
Book Description Springer, 2003. Condition: New. book. Seller Inventory # M3540676236