دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [1 ed.] نویسندگان: Davaatseren Baatar, Natashia Boland (auth.), Pascal Van Hentenryck, Laurence Wolsey (eds.) سری: Lecture Notes in Computer Science 4510 : Theoretical Computer Science and General Issues ISBN (شابک) : 354072396X, 9783540723967 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2007 تعداد صفحات: 391 [399] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 Mb
در صورت تبدیل فایل کتاب Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ادغام تکنیک های هوش مصنوعی و OR در برنامه نویسی محدودیت برای مسائل بهینه سازی ترکیبی: چهارمین کنفرانس بین المللی، CPAIOR 2007، بروکسل، بلژیک، 23-26 می 2007. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری چهارمین کنفرانس بینالمللی ادغام تکنیکهای هوش مصنوعی و OR در برنامهنویسی محدودیت برای مسائل بهینهسازی ترکیبی، CPAIOR 2007، برگزار شده در بروکسل، بلژیک در مه 2007 است. موضوعات روششناختی و بنیادی از AI، OR، و الگوریتم ها و همچنین کاربردهایی برای حل مسائل بهینه سازی ترکیبی در زمینه های مختلف از طریق برنامه نویسی محدودیت.
This book constitutes the refereed proceedings of the 4th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2007, held in Brussels, Belgium in May 2007. It covers methodological and foundational issues from AI, OR, and algorithmics as well as applications to the solution of combinatorial optimization problems in various fields via constraint programming.
Front Matter....Pages -
Minimum Cardinality Matrix Decomposition into Consecutive-Ones Matrices: CP and IP Approaches....Pages 1-15
Connections in Networks: Hardness of Feasibility Versus Optimality....Pages 16-28
Modeling the Regular Constraint with Integer Programming....Pages 29-43
Hybrid Local Search for Constrained Financial Portfolio Selection Problems....Pages 44-58
The “Not-Too-Heavy Spanning Tree” Constraint....Pages 59-70
Eliminating Redundant Clauses in SAT Instances....Pages 71-83
Cost-Bounded Binary Decision Diagrams for 0-1 Programming....Pages 84-98
YIELDS: A Yet Improved Limited Discrepancy Search for CSPs....Pages 99-111
A Global Constraint for Total Weighted Completion Time....Pages 112-126
Computing Tight Time Windows for RCPSPWET with the Primal-Dual Method....Pages 127-140
Necessary Condition for Path Partitioning Constraints....Pages 141-154
A Constraint Programming Approach to the Hospitals / Residents Problem....Pages 155-170
Best-First AND/OR Search for 0/1 Integer Programming....Pages 171-185
A Position-Based Propagator for the Open-Shop Problem....Pages 186-199
Directional Interchangeability for Enhancing CSP Solving....Pages 200-213
A Continuous Multi-resources cumulative Constraint with Positive-Negative Resource Consumption-Production....Pages 214-228
Replenishment Planning for Stochastic Inventory Systems with Shortage Cost....Pages 229-243
Preprocessing Expression-Based Constraint Satisfaction Problems for Stochastic Local Search....Pages 244-259
The Deviation Constraint....Pages 260-274
The Linear Programming Polytope of Binary Constraint Problems with Bounded Tree-Width....Pages 275-287
On Boolean Functions Encodable as a Single Linear Pseudo-Boolean Constraint....Pages 288-302
Solving a Stochastic Queueing Control Problem with Constraint Programming....Pages 303-317
Constrained Clustering Via Concavity Cuts....Pages 318-331
Bender’s Cuts Guided Large Neighborhood Search for the Traveling Umpire Problem....Pages 332-345
A Large Neighborhood Search Heuristic for Graph Coloring....Pages 346-360
Generalizations of the Global Cardinality Constraint for Hierarchical Resources....Pages 361-375
A Column Generation Based Destructive Lower Bound for Resource Constrained Project Scheduling Problems....Pages 376-390
Back Matter....Pages -