دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: برنامه نويسي ویرایش: 1st ed نویسندگان: Francesca Rossi. Peter van Beek and Toby Walsh (Eds.) سری: Foundations of Artificial Intelligence 2 ISBN (شابک) : 9780444527264, 0444527265 ناشر: Elsevier سال نشر: 2006 تعداد صفحات: 977 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
در صورت تبدیل فایل کتاب Handbook of Constraint Programming به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب راهنمای برنامه نویسی محدودیت نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
برنامه نویسی محدودیت یک پارادایم قدرتمند برای حل مسائل جستجوی ترکیبی است که از طیف گسترده ای از تکنیک ها از هوش مصنوعی، علوم کامپیوتر، پایگاه های داده، زبان های برنامه نویسی و تحقیقات عملیاتی استفاده می کند. برنامه نویسی محدودیت در حال حاضر با موفقیت در بسیاری از حوزه ها مانند برنامه ریزی، برنامه ریزی، مسیریابی وسایل نقلیه، پیکربندی، شبکه ها و بیوانفورماتیک اعمال می شود. هدف این کتاب راهنما این است که وسعت و عمق کامل زمینه برنامه نویسی محدودیت را به تصویر بکشد و دایره المعارفی در دامنه و پوشش آن باشد. در حالی که چندین کتاب عالی در مورد برنامه نویسی محدودیت وجود دارد، چنین کتاب هایی لزوماً بر مفاهیم و تکنیک های اصلی تمرکز دارند و نمی توانند افزونه ها، برنامه ها و زبان ها را نیز پوشش دهند. کتاب راهنما پوشش کاملی از تمام این خطوط کار، بر اساس برنامه نویسی محدودیت ارائه می دهد، به طوری که خواننده می تواند ایده نسبتا دقیقی از کل زمینه و پتانسیل آن داشته باشد. البته هر خط کار به سبک نظرسنجیمانندی بررسی میشود، جایی که ممکن است برخی جزئیات به نفع پوشش نادیده گرفته شوند. با این حال، کتابشناسی گسترده هر فصل به خوانندگان علاقه مند کمک می کند تا منابع مناسبی را برای جزئیات گم شده بیابند. هر فصل از کتاب راهنما به عنوان یک بررسی مستقل از یک موضوع در نظر گرفته شده است و توسط یک یا چند نویسنده که محققین برجسته در آن منطقه هستند نوشته شده است. مخاطبان مورد نظر این کتاب راهنما، محققان، دانشجویان تحصیلات تکمیلی، دانشآموختگان سالهای بالاتر و شاغلانی هستند که میخواهند در مورد آخرین هنر در برنامهنویسی محدودیتها بیاموزند. برای خواندن فصول و جمع آوری دانش مفید نیازی به دانش قبلی در مورد این رشته نیست. محققان سایر رشتهها باید در این کتاب راهنما راهی مؤثر برای یادگیری در مورد برنامهنویسی محدودیت و احتمالاً استفاده از برخی از مفاهیم و تکنیکهای برنامهنویسی محدودیت در کار خود بیابند، بنابراین وسیلهای برای لقاح متقابل ثمربخش در میان حوزههای مختلف تحقیقاتی فراهم میکنند. کتاب راهنما در دو بخش تنظیم شده است. بخش اول مبانی اساسی برنامه نویسی محدودیت را پوشش می دهد، از جمله تاریخچه، مفهوم انتشار محدودیت، روش های جستجوی اساسی، محدودیت های جهانی، قابلیت حمل و نقل و پیچیدگی محاسباتی، و مسائل مهم در مدل سازی یک مسئله به عنوان یک مسئله محدودیت. بخش دوم زبانهای محدودیت و حلکننده، چندین پسوند مفید برای چارچوب اصلی (مانند محدودیتهای بازهای، دامنههای ساختاریافته، و CSPهای توزیعشده) و حوزههای کاربردی موفق برای برنامهنویسی محدودیت را پوشش میدهد. - کل زمینه برنامه نویسی محدودیت را پوشش می دهد - فصل های به سبک نظرسنجی - پنج فصل در مورد برنامه ها
Constraint programming is a powerful paradigm for solving combinatorial search problems that draws on a wide range of techniques from artificial intelligence, computer science, databases, programming languages, and operations research. Constraint programming is currently applied with success to many domains, such as scheduling, planning, vehicle routing, configuration, networks, and bioinformatics. The aim of this handbook is to capture the full breadth and depth of the constraint programming field and to be encyclopedic in its scope and coverage. While there are several excellent books on constraint programming, such books necessarily focus on the main notions and techniques and cannot cover also extensions, applications, and languages. The handbook gives a reasonably complete coverage of all these lines of work, based on constraint programming, so that a reader can have a rather precise idea of the whole field and its potential. Of course each line of work is dealt with in a survey-like style, where some details may be neglected in favor of coverage. However, the extensive bibliography of each chapter will help the interested readers to find suitable sources for the missing details. Each chapter of the handbook is intended to be a self-contained survey of a topic, and is written by one or more authors who are leading researchers in the area. The intended audience of the handbook is researchers, graduate students, higher-year undergraduates and practitioners who wish to learn about the state-of-the-art in constraint programming. No prior knowledge about the field is necessary to be able to read the chapters and gather useful knowledge. Researchers from other fields should find in this handbook an effective way to learn about constraint programming and to possibly use some of the constraint programming concepts and techniques in their work, thus providing a means for a fruitful cross-fertilization among different research areas. The handbook is organized in two parts. The first part covers the basic foundations of constraint programming, including the history, the notion of constraint propagation, basic search methods, global constraints, tractability and computational complexity, and important issues in modeling a problem as a constraint problem. The second part covers constraint languages and solver, several useful extensions to the basic framework (such as interval constraints, structured domains, and distributed CSPs), and successful application areas for constraint programming. - Covers the whole field of constraint programming - Survey-style chapters - Five chapters on applications
Content:
Foundations of Artificial Intelligence
Page ii
Front Matter
Page iii
Copyright page
Page iv
Foreword
Pages v-vi
Ugo Montanari
Editors
Page vii
Contributors
Pages ix-xi
Chapter 1 - Introduction
Pages 3-12
Francesca Rossi, Peter van Beek, Toby Walsh
Chapter 2 - Constraint Satisfaction: An Emerging Paradigm
Pages 13-27
Eugene C. Freuder, Alan K. Mackworth
Chapter 3 - Constraint Propagation
Pages 29-83
Christian Bessiere
Chapter 4 - Backtracking Search Algorithms
Pages 85-134
Peter van Beek
Chapter 5 - Local Search Methods
Pages 135-167
Holger H. Hoos, Edward Tsang
Chapter 6 - Global Constraints
Pages 169-208
Willem-Jan van Hoeve, Irit Katriel
Chapter 7 - Tractable Structures for Constraint Satisfaction Problems
Pages 209-244
Rina Dechter
Chapter 8 - The Complexity of Constraint Languages
Pages 245-280
David Cohen, Peter Jeavons
Chapter 9 - Soft Constraints
Pages 281-328
Pedro Meseguer, Francesca Rossi, Thomas Schiex
Chapter 10 - Symmetry in Constraint Programming
Pages 329-376
Ian P. Gent, Karen E. Petrie, Jean-François Puget
Chapter 11 - Modelling
Pages 377-406
Barbara M. Smith
Chapter 12 - Constraint Logic Programming
Pages 409-452
Kim Marriott, Peter J. Stuckey, Mark Wallace
Chapter 13 - Constraints in Procedural and Concurrent Languages
Pages 453-494
Thom Frühwirth, Laurent Michel, Christian Schulte
Chapter 14 - Finite Domain Constraint Programming Systems
Pages 495-526
Christian Schulte, Mats Carlsson
Chapter 15 - Operations Research Methods in Constraint Programming
Pages 527-570
John N. Hooker
Chapter 16 - Continuous and Interval Constraints
Pages 571-603
Frédéric Benhamou, Laurent Granvilliers
Chapter 17 - Constraints over Structured Domains
Pages 605-638
Carmen Gervet
Chapter 18 - Randomness and Structure
Pages 639-664
Carla Gomes, Toby Walsh
Chapter 19 - Temporal CSPs
Pages 665-697
Manolis Koubarakis
Chapter 20 - Distributed Constraint Programming
Pages 699-729
Boi Faltings
Chapter 21 - Uncertainty and Change
Pages 731-760
Kenneth N. Brown, Ian Miguel
Chapter 22 - Constraint-Based Scheduling and Planning
Pages 761-799
Philippe Baptiste, Philippe Laborie, Claude Le Pape, Wim Nuijten
Chapter 23 - Vehicle Routing
Pages 801-836
Philip Kilby, Paul Shaw
Chapter 24 - Configuration
Pages 837-873
Ulrich Junker
Chapter 25 - Constraint Applications in Networks
Pages 875-903
Helmut Simonis
Chapter 26 - Bioinformatics and Constraints
Pages 905-944
Rolf Backofen, David Gilbert
Index
Pages 945-955