دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Integration of AI and OR Techniques in Constraint Programming: 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings
دانلود کتاب ادغام تکنیک های هوش مصنوعی و OR در برنامه نویسی محدودیت: سیزدهمین کنفرانس بین المللی، CPAIOR 2016، Banff، AB، کانادا، 29 مه - 1 ژوئن 2016، مجموعه مقالات
مشخصات کتاب
Integration of AI and OR Techniques in Constraint Programming: 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings
ویرایش: 1
نویسندگان: Claude-Guy Quimper (eds.)
سری: Lecture Notes in Computer Science 9676
ISBN (شابک) : 9783319339535, 9783319339542
ناشر: Springer International Publishing
سال نشر: 2016
تعداد صفحات: 439
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 16 مگابایت
قیمت کتاب (تومان) : 49,000
کلمات کلیدی مربوط به کتاب ادغام تکنیک های هوش مصنوعی و OR در برنامه نویسی محدودیت: سیزدهمین کنفرانس بین المللی، CPAIOR 2016، Banff، AB، کانادا، 29 مه - 1 ژوئن 2016، مجموعه مقالات: محاسبات عددی، کاربردهای ریاضی در علوم کامپیوتر، ریاضیات گسسته در علوم کامپیوتر، تحلیل الگوریتم و پیچیدگی مسائل، هوش مصنوعی (شامل رباتیک)، تحقیق در عملیات، علوم مدیریت
در صورت تبدیل فایل کتاب Integration of AI and OR Techniques in Constraint Programming: 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ادغام تکنیک های هوش مصنوعی و OR در برنامه نویسی محدودیت: سیزدهمین کنفرانس بین المللی، CPAIOR 2016، Banff، AB، کانادا، 29 مه - 1 ژوئن 2016، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ادغام تکنیک های هوش مصنوعی و OR در برنامه نویسی محدودیت: سیزدهمین کنفرانس بین المللی، CPAIOR 2016، Banff، AB، کانادا، 29 مه - 1 ژوئن 2016، مجموعه مقالات
این کتاب مجموعه مقالات سیزدهمین کنفرانس بین‌المللی ادغام تکنیک‌های تحقیقاتی هوش مصنوعی و عملیات در برنامه‌ریزی محدود برای مسائل بهینه‌سازی ترکیبی، CPAIOR 2016، در بانف، کانادا، در ماه می/ژوئن 2016 است. p>
21 مقاله کامل ارائه شده همراه با 8 مقاله کوتاه با دقت بررسی و از بین 51 مقاله ارسالی انتخاب شدند. این کنفرانس محققان علاقه مند را از برنامه نویسی محدودیت، هوش مصنوعی و تحقیقات عملیاتی برای ارائه تکنیک ها یا کاربردهای جدید در بهینه سازی ترکیبی گرد هم می آورد و فرصتی را برای محققان در یک حوزه فراهم می کند تا در مورد تکنیک ها در حوزه های دیگر بیاموزند و نحوه ادغام تکنیک ها را نشان دهند. از زمینه های مختلف می تواند به نتایج جالبی در مسائل بزرگ و پیچیده منجر شود.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2016, held in Banff, Canada, in May/June 2016.
The 21 full papers presented together with 8 short papers were carefully reviewed and selected from 51 submissions. The conference brings together interested researchers from constraint programming, artificial intelligence, and operations research to present new techniques or applications in combinatorial optimization and provides an opportunity for researchers in one area to learn about techniques in the others, and to show how the integration of techniques from different fields can lead to interesting results on large and complex problems.
فهرست مطالب
Front Matter....Pages I-XIX
On CNF Encodings of Decision Diagrams....Pages 1-17
Time-Series Constraints: Improvements and Application in CP and MIP Contexts....Pages 18-34
Finding a Collection of MUSes Incrementally....Pages 35-44
Decomposition Based on Decision Diagrams....Pages 45-54
Logic-Based Decomposition Methods for the Travelling Purchaser Problem....Pages 55-64
Lagrangian Decomposition via Sub-problem Search....Pages 65-80
Non-linear Optimization of Business Models in the Electricity Market....Pages 81-97
Weighted Spanning Tree Constraint with Explanations....Pages 98-107
Forward-Checking Filtering for Nested Cardinality Constraints: Application to an Energy Cost-Aware Production Planning Problem for Tissue Manufacturing....Pages 108-124
Cyclic Routing of Unmanned Aerial Vehicles....Pages 125-141
Parallelizing Constraint Programming with Learning....Pages 142-158
Parallel Composition of Scheduling Solvers....Pages 159-169
Rail Capacity Modelling with Constraint Programming....Pages 170-186
Scheduling Home Hospice Care with Logic-Based Benders Decomposition....Pages 187-197
A Global Constraint for Mining Sequential Patterns with GAP Constraint....Pages 198-215
A Reservoir Balancing Constraint with Applications to Bike-Sharing....Pages 216-228
Optimization Models for a Real-World Snow Plow Routing Problem....Pages 229-245
The TaskIntersection Constraint....Pages 246-261
A Stochastic Continuous Optimization Backend for MiniZinc with Applications to Geometrical Placement Problems....Pages 262-278
Constructions and In-Place Operations for MDDs Based Constraints....Pages 279-293
Balancing Nursing Workload by Constraint Programming....Pages 294-302
Designing Spacecraft Command Loops Using Two-Dimension Vehicle Routing....Pages 303-318
Constraint Programming Approach for Spatial Packaging Problem....Pages 319-328
Detecting Semantic Groups in MIP Models....Pages 329-341
Revisiting Two-Sided Stability Constraints....Pages 342-357
Optimal Flood Mitigation over Flood Propagation Approximations....Pages 358-373
A Bit-Vector Solver with Word-Level Propagation....Pages 374-391
A New Solver for the Minimum Weighted Vertex Cover Problem....Pages 392-405
Optimal Upgrading Schemes for Effective Shortest Paths in Networks....Pages 406-420
Back Matter....Pages 421-421
