مشخصات کتاب

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings

ویرایش: [1 ed.] 
نویسندگان: Matteo Fischetti (auth.),  Andrea Lodi,  Michela Milano,  Paolo Toth (eds.)  
سری: Lecture Notes in Computer Science 6140 : Theoretical Computer Science and General Issues 
ISBN (شابک) : 3642135196, 9783642135194 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2010 
تعداد صفحات: 369
[379] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 Mb 

در صورت تبدیل فایل کتاب Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب ادغام تکنیک های هوش مصنوعی و OR در برنامه نویسی محدودیت برای مسائل بهینه سازی ترکیبی: هفتمین کنفرانس بین المللی، CPAIOR 2010، بولونیا، ایتالیا، 14-18 ژوئن 2010. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب ادغام تکنیک های هوش مصنوعی و OR در برنامه نویسی محدودیت برای مسائل بهینه سازی ترکیبی: هفتمین کنفرانس بین المللی، CPAIOR 2010، بولونیا، ایتالیا، 14-18 ژوئن 2010. مجموعه مقالات

این کتاب مجموعه مقالات داوری هفتمین کنفرانس بین المللی ادغام تکنیک های هوش مصنوعی و OR در برنامه ریزی محدودیت برای مسائل بهینه سازی ترکیبی، CPAIOR 2010، در بولونیا، ایتالیا، در ژوئن 2010 است. 18 مقاله کامل اصلاح شده و 17 مقاله کوتاه اصلاح شده ارائه شده است. همراه با چکیده های توسعه یافته 3 سخنرانی دعوت شده به دقت بررسی و از بین 72 مورد ارسالی انتخاب شد. این مقالات بر هر دو جنبه نظری و عملی و موضوعات کاربردی متمرکز شده اند و تحقیقات فعلی را با تمرکز ویژه بر ادغام و ترکیبی از رویکردهای برنامه نویسی محدودیت، هوش مصنوعی و فناوری های تحقیق در عملیات برای حل ترکیبی زندگی واقعی در مقیاس بزرگ و پیچیده ارائه می کنند. مشکلات بهینه سازی

توضیحاتی درمورد کتاب به خارجی

This book constitutes the refereed proceedings of the 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2010, held in Bologna, Italy, in June 2010. The 18 revised full papers and 17 revised short papers presented together with the extended abstracts of 3 invited talks were carefully reviewed and selected from 72 submissions. The papers are focused on both theoretical and practical, application-oriented issues and present current research with a special focus on the integration and hybridization of the approaches of constraint programming, artificial intelligence, and operations research technologies for solving large scale and complex real life combinatorial optimization problems.

فهرست مطالب

Front Matter....Pages -
Towards a MIP-Cut Metascheme....Pages 1-2
Challenges for CPAIOR in Computational Sustainability....Pages 3-4
Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving....Pages 5-9
On Matrices, Automata, and Double Counting....Pages 10-24
The Increasing Nvalue Constraint....Pages 25-39
Improving the Held and Karp Approach with Constraint Programming....Pages 40-44
Characterization and Automation of Matching-Based Neighborhoods....Pages 45-50
Rapid Learning for Binary Programs....Pages 51-55
Hybrid Methods for the Multileaf Collimator Sequencing Problem....Pages 56-70
Automatically Exploiting Subproblem Equivalence in Constraint Programming....Pages 71-86
Single-Facility Scheduling over Long Time Horizons by Logic-Based Benders Decomposition....Pages 87-91
Integrated Maintenance Scheduling for Semiconductor Manufacturing....Pages 92-96
A Constraint Programming Approach for the Service Consolidation Problem....Pages 97-101
Solving Connected Subgraph Problems in Wildlife Conservation....Pages 102-116
Consistency Check for the Bin Packing Constraint Revisited....Pages 117-122
A Relax-and-Cut Framework for Gomory’s Mixed-Integer Cuts....Pages 123-135
An In-Out Approach to Disjunctive Optimization....Pages 136-140
A SAT Encoding for Multi-dimensional Packing Problems....Pages 141-146
Job Shop Scheduling with Setup Times and Maximal Time-Lags: A Simple Constraint Programming Approach....Pages 147-161
On the Design of the Next Generation Access Networks....Pages 162-175
Vehicle Routing for Food Rescue Programs: A Comparison of Different Approaches....Pages 176-180
Constraint Programming and Combinatorial Optimisation in Numberjack....Pages 181-185
Automated Configuration of Mixed Integer Programming Solvers....Pages 186-202
Upper Bounds on the Number of Solutions of Binary Integer Programs....Pages 203-218
Matrix Interdiction Problem....Pages 219-231
Strong Combination of Ant Colony Optimization with Constraint Programming Optimization....Pages 232-245
Service-Oriented Volunteer Computing for Massively Parallel Constraint Solving Using Portfolios....Pages 246-251
Constraint Programming with Arbitrarily Large Integer Variables....Pages 252-266
Constraint-Based Local Search for Constrained Optimum Paths Problems....Pages 267-281
Stochastic Constraint Programming by Neuroevolution with Filtering....Pages 282-286
The Weighted Spanning Tree Constraint Revisited....Pages 287-291
Constraint Reasoning with Uncertain Data Using CDF-Intervals....Pages 292-306
Revisiting the Soft Global Cardinality Constraint....Pages 307-312
A Constraint Integer Programming Approach for Resource-Constrained Project Scheduling....Pages 313-317
Strategic Planning for Disaster Recovery with Stochastic Last Mile Distribution....Pages 318-333
Massively Parallel Constraint Programming for Supercomputers: Challenges and Initial Results....Pages 334-338
Boosting Set Constraint Propagation for Network Design....Pages 339-353
More Robust Counting-Based Search Heuristics with Alldifferent Constraints....Pages 354-368
Back Matter....Pages -

نظرات کاربران

کتاب های تصادفی

دانلود کتاب A Laboratory Manual Of Qualitative Organic Analysis

دانلود کتاب Workplace Perspectives on Education and Training

دانلود کتاب What Is Race?: Four Philosophical Views

دانلود کتاب Traffic Secrets ; The Underground Playbook for Filling Your Websites and Funnels with Your Dream Customers

دانلود کتاب Female-to-Male (FtM) Transgender People’s Experiences in Australia: A National Study