دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004. Proceedings
دانلود کتاب ادغام تکنیک های هوش مصنوعی و OR در برنامه نویسی محدودیت برای مسائل بهینه سازی ترکیبی: اولین کنفرانس بین المللی، CPAIOR 2004، نیس، فرانسه، 20-22 آوریل، 2004. مجموعه مقالات
مشخصات کتاب
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004. Proceedings
ویرایش: 1 نویسندگان: Christos T. Maravelias, Ignacio E. Grossmann (auth.), Jean-Charles Régin, Michel Rueher (eds.) سری: Lecture Notes in Computer Science 3011 ISBN (شابک) : 9783540218364, 354021836X ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2004 تعداد صفحات: 429 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 86,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب ادغام تکنیک های هوش مصنوعی و OR در برنامه نویسی محدودیت برای مسائل بهینه سازی ترکیبی: اولین کنفرانس بین المللی، CPAIOR 2004، نیس، فرانسه، 20-22 آوریل، 2004. مجموعه مقالات: محاسبات عددی، ریاضیات گسسته در علوم کامپیوتر، تحلیل الگوریتم و پیچیدگی مسائل، هوش مصنوعی (شامل رباتیک)، تحقیق در عملیات/نظریه تصمیم گیری، ترکیبیات
در صورت تبدیل فایل کتاب Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ادغام تکنیک های هوش مصنوعی و OR در برنامه نویسی محدودیت برای مسائل بهینه سازی ترکیبی: اولین کنفرانس بین المللی، CPAIOR 2004، نیس، فرانسه، 20-22 آوریل، 2004. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ادغام تکنیک های هوش مصنوعی و OR در برنامه نویسی محدودیت برای مسائل بهینه سازی ترکیبی: اولین کنفرانس بین المللی، CPAIOR 2004، نیس، فرانسه، 20-22 آوریل، 2004. مجموعه مقالات
این کتاب مجموعه مقالات داوری اولین کنفرانس بینالمللی ادغام تکنیکهای هوش مصنوعی و OR در برنامهنویسی محدودیت برای مسائل بهینهسازی ترکیبی، CPAIOR 2004 است که در آوریل 2004 در نیس، فرانسه برگزار شد.
23 مقالات کامل اصلاح شده و 7 مقاله کوتاه اصلاح شده همراه با یک سخنرانی دعوت شده به دقت بررسی و از بین 56 مورد ارسالی انتخاب شدند. مسائل روششناختی و بنیادی از AI، OR، و الگوریتمها و همچنین کاربردهایی برای حل مسائل بهینهسازی ترکیبی در زمینههای مختلف از طریق برنامهنویسی محدودیت ارائه شده است.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the First International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2004, held in Nice, France in April 2004.
The 23 revised full papers and 7 revised short papers presented together with an invited talk were carefully reviewed and selected from 56 submissions. Methodological and foundational issues from AI, OR, and algorithmics are presented as well as applications to the solution of combinatorial optimization problems in various fields via constraint programming.
فهرست مطالب
Front Matter....Pages -
Using MILP and CP for the Scheduling of Batch Chemical Processes....Pages 1-20
SIMPL: A System for Integrating Optimization Techniques....Pages 21-36
A New Exact Solution Algorithm for the Job Shop Problem with Sequence-Dependent Setup Times....Pages 37-49
Simple Rules for Low-Knowledge Algorithm Selection....Pages 50-64
Filtering Algorithms for the Same Constraint....Pages 65-79
Cost Evaluation of Soft Global Constraints....Pages 80-95
SAT-Based Branch & Bound and Optimal Control of Hybrid Dynamical Systems....Pages 96-111
Solving the Petri Nets Reachability Problem Using the Logical Abstraction Technique and Mathematical Programming....Pages 112-126
Generating Benders Cuts for a General Class of Integer Programming Problems....Pages 127-141
A Constraint Programming Model for Tail Assignment....Pages 142-156
Super Solutions in Constraint Programming....Pages 157-172
Local Probing Applied to Network Routing....Pages 173-189
Dynamic Heaviest Paths in DAGs with Arbitrary Edge Weights....Pages 190-199
Filtering Methods for Symmetric Cardinality Constraint....Pages 200-208
Arc-Consistency Filtering Algorithms for Logical Combinations of Constraints....Pages 209-224
Combining Forces to Solve the Car Sequencing Problem....Pages 225-239
Travelling in the World of Local Searches in the Space of Partial Assignments....Pages 240-255
A Global Constraint for Nesting Problems....Pages 256-270
Models and Symmetry Breaking for ‘Peaceable Armies of Queens’....Pages 271-286
A Global Constraint for Graph Isomorphism Problems....Pages 287-301
Echelon Stock Formulation of Arborescent Distribution Systems: An Application to the Wagner-Whitin Problem....Pages 302-318
Scheduling Abstractions for Local Search....Pages 319-334
O ( nlog n ) Filtering Algorithms for Unary Resource Constraint....Pages 335-347
Problem Decomposition for Traffic Diversions....Pages 348-363
LP Relaxations of Multiple all_different Predicates....Pages 364-369
Dispatching and Conflict-Free Routing of Automated Guided Vehicles: A Hybrid Approach Combining Constraint Programming and Mixed Integer Programming....Pages 370-379
Making Choices Using Structure at the Instance Level within a Case Based Reasoning Framework....Pages 380-386
The Challenge of Generating Spatially Balanced Scientific Experiment Designs....Pages 387-394
Building Models through Formal Specification....Pages 395-401
Stabilization Issues for Constraint Programming Based Column Generation....Pages 402-408
A Hybrid Branch-And-Cut Algorithm for the One-Machine Scheduling Problem....Pages 409-415
Back Matter....Pages -
