دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب The Satisfiability Problem: Algorithms and Analyses
دانلود کتاب مسئله رضایتپذیری: الگوریتمها و تحلیلها
مشخصات کتاب
The Satisfiability Problem: Algorithms and Analyses
ویرایش:
نویسندگان: Uwe Schöning. Jacobo Torán
سری: Mathematik fur Anwendungen; 3
ISBN (شابک) : 9783865415271, 9783865416483
ناشر: Lehmanns Media
سال نشر: 2013
تعداد صفحات: 178
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 73,000
در صورت تبدیل فایل کتاب The Satisfiability Problem: Algorithms and Analyses به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مسئله رضایتپذیری: الگوریتمها و تحلیلها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Preface Contents Introduction 1 First Definitions and Results 2 Resolution Calculus 3 Special Cases Solvable in Polynomial Time 4 Backtracking and DPLL Algorithms 5 Local Search and Hamming Balls 6 More SAT Algorithms 7 Random Clauses and Physical Approaches 8 Heavy Tail Distributions and Restarts 9 Final Discussion Appendix: Programming in Pseudo Code Appendix: Graphs Appendix: Asymptotic Notation and Recurrences Appendix: Efficient Algorithms, P and NP Appendix: Probabilistic Algorithms and the Class RP Appendix: Boolean Circuits Appendix: SAT is NP-complete Appendix: Binary Decision Diagrams (BDD’s) Appendix: Random Variables Appendix: Markov Chains Appendix: Estimations with Binomial Coefficients Bibliography Index
نظرات کاربران
کتاب های تصادفی
دانلود کتاب A Master of Science History: Essays in Honor of Charles Coulston Gillispie
دانلود کتاب Janice VanCleave's Constellations for Every Kid: Easy Activities that Make Learning Science Fun (Science for Every Kid Series)
دانلود کتاب Categorii, Despre interpretare
