| 书目名称 | Essentials of Constraint Programming | | 编辑 | Thom Frühwirth,Slim Abdennadher | | 视频video | | | 概述 | 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 suppleme | | 丛书名称 | Cognitive Technologies | | 图书封面 |  | | 描述 | 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 | | 出版日期 | Textbook 2003 | | 关键词 | Algorithms; Boolean algebra; Resolution; Syntax; algorithm; communication; logic; programming; programming l | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-662-05138-2 | | isbn_softcover | 978-3-642-08712-7 | | isbn_ebook | 978-3-662-05138-2Series ISSN 1611-2482 Series E-ISSN 2197-6635 | | issn_series | 1611-2482 | | copyright | Springer-Verlag Berlin Heidelberg 2003 |
The information of publication is updating
|
|
发表于 2025-3-21 18:43:35
