دانلود کتاب Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers
کتاب پیشرفت‌های اخیر در محدودیت‌ها: کارگاه بین‌المللی مشترک ERCIM/CologNet در مورد حل محدودیت و برنامه‌نویسی منطق محدودیت کورک، ایرلند، 19 تا 21 ژوئن 2002. مقالات منتخب نسخه زبان اصلی
دانلود کتاب پیشرفت‌های اخیر در محدودیت‌ها: کارگاه بین‌المللی مشترک ERCIM/CologNet در مورد حل محدودیت و برنامه‌نویسی منطق محدودیت کورک، ایرلند، 19 تا 21 ژوئن 2002. مقالات منتخب بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers
نام کتاب : Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers
ویرایش : 1
عنوان ترجمه شده به فارسی : پیشرفت‌های اخیر در محدودیت‌ها: کارگاه بین‌المللی مشترک ERCIM/CologNet در مورد حل محدودیت و برنامه‌نویسی منطق محدودیت کورک، ایرلند، 19 تا 21 ژوئن 2002. مقالات منتخب
سری : Lecture Notes in Computer Science 2627 Lecture Notes in Artificial Intelligence
نویسندگان : Manuel Hermenegildo, Germán Puebla, Francisco Bueno (auth.), Barry O’Sullivan (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2003
تعداد صفحات : 209
ISBN (شابک) : 9783540009863 , 3540009868
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 2 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مجموعه مقالات پس از داوری کامل کارگاه بین المللی مشترک ERCIM/CologNet درباره حل محدودیت و برنامه ریزی منطقی محدودیت است که در کورک، ایرلند در ژوئن 2002 برگزار شد.
14 مقاله کامل اصلاح شده ارائه شده است. طی دو دور بررسی و بازنگری به دقت برای گنجاندن در کتاب انتخاب شدند. از جمله موضوعات مورد بررسی عبارتند از تأیید و اشکال‌زدایی برنامه‌های منطق محدودیت، مدل‌سازی و حل CSP، تولید توضیح، استنتاج و پردازش ناسازگاری، کدگذاری SAT و 0/1 CSP، محدودیت‌های نرم و کاهش محدودیت، برنامه‌های کاربردی در دنیای واقعی، و حل محدودیت‌های توزیع‌شده. .
فهرست مطالب :
Abstract Verification and Debugging of Constraint Logic Programs....Pages 1-14
CGRASS: A System for Transforming Constraint Satisfaction Problems....Pages 15-30
Interchangeability in Soft CSPs....Pages 31-46
Towards Automated Reasoning on the Properties of Numerical Constraints....Pages 47-61
Domain-Heuristics for Arc-Consistency Algorithms....Pages 62-75
Computing Explanations and Implications in Preference-Based Configurators....Pages 76-92
Constraint Processing Offers Improved Expressiveness and Inference for Interactive Expert Systems....Pages 93-108
A Note on Redundant Rules in Rule-Based Constraint Programming....Pages 109-120
A Study of Encodings of Constraint Satisfaction Problems with 0/1 Variables....Pages 121-131
A Local Search Algorithm for Balanced Incomplete Block Designs....Pages 132-143
The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms....Pages 144-158
POOC — A Platform for Object-Oriented Constraint Programming....Pages 159-170
A Coordination-Based Framework for Distributed Constraint Solving....Pages 171-184
Visopt ShopFloor: Going Beyond Traditional Scheduling....Pages 185-199
توضیحاتی در مورد کتاب به زبان اصلی :
This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, held in Cork, Ireland in June 2002.
The 14 revised full papers presented were carefully selected for inclusion in the book during two rounds of reviewing and revision. Among the topics addressed are verification and debugging of constraint logic programs, modeling and solving CSPs, explanation generation, inference and inconsistency processing, SAT and 0/1 encodings of CSPs, soft constraints and constraint relaxation, real-world applications, and distributed constraint solving.
پست ها تصادفی