دانلود کتاب Satisfiability problem: theory and applications
49,000 تومان
مشکل رضایتمندی: نظریه و کاربردها
| موضوع اصلی | احتمال |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | American Mathematical Society |
| تعداد صفحه | 723 |
| حجم فایل | 7 مگابایت |
| کد کتاب | 0821804790,9780821804797 |
| نویسنده | Jun Gu, NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science, Panos M. Pardalos |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1997 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
مشکل رضایتمندی: نظریه و کاربردها
مسئله رضایتپذیری (SAT) در منطق ریاضی، تئوری محاسبات و بسیاری از کاربردهای صنعتی مرکزی است. رابطه قوی بین تئوری، الگوریتم ها و کاربردهای مسئله SAT وجود دارد. هدف این کتاب گردآوری کارهای بهترین نظریه پردازان، الگوریتم گراها و متخصصانی است که روی مسئله SAT و کاربردهای صنعتی کار می کنند و همچنین تعامل بین سه گروه تحقیقاتی را افزایش می دهد. این کتاب کاربرد نتایج نظری/الگوریتمی را در مسائل عملی و ارائه مشکلات عملی برای مطالعه نظری/الگوریتمی دارد.
عناوین اصلی پوشش داده شده در این کتاب شامل مسائل و معیارهای SAT عملی و صنعتی، مطالعات موردی مهم و کاربردهای مسئله SAT و الگوریتمهای SAT، الگوریتمهای جدید و تکنیکهای بهبود یافته برای تست رضایتپذیری، ساختارهای داده خاص و جزئیات پیادهسازی الگوریتمهای SAT است. ، و مطالعه نظری مسئله SAT و الگوریتم های SAT.
ویژگی ها:
بررسی جامع کار تحقیقاتی SAT در 25 سال گذشته.
آخرین نتایج تحقیقات.
طیفی از مسائل و کاربردهای الگوریتمی.
Satisfiability problem: theory and applications
The satisfiability (SAT) problem is central in mathematical logic, computing theory, and many industrial applications. There has been a strong relationship between the theory, the algorithms, and the applications of the SAT problem. This book aims to bring together work by the best theorists, algorithmists, and practitioners working on the SAT problem and on industrial applications, as well as to enhance the interaction between the three research groups. The book features the application of theoretical/algorithmic results to practical problems and presents practical problems for theoretical/algorithmic study.
Major topics covered in the book include practical and industrial SAT problems and benchmarks, significant case studies and applications of the SAT problem and SAT algorithms, new algorithms and improved techniques for satisfiability testing, specific data structures and implementation details of the SAT algorithms, and the theoretical study of the SAT problem and SAT algorithms.
Features:
A comprehensive review of SAT research work over the past 25 years.
The most recent research results.
A spectrum of algorithmic issues and applications.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.