دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Satisfiability Problem: Theory and Applications
دانلود کتاب مساله رضایتمندی: نظریه و کاربرد
مشخصات کتاب
Satisfiability Problem: Theory and Applications
ویرایش: نویسندگان: Jun Gu, Panos M. Pardalos, Jun Gu, Panos M. Pardalos سری: Dimacs Series in Discrete Mathematics and Theoretical Computer Science ISBN (شابک) : 0821804790, 9780821804797 ناشر: Amer Mathematical Society سال نشر: 1997 تعداد صفحات: 723 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 63 مگابایت
قیمت کتاب (تومان) : 45,000
در صورت تبدیل فایل کتاب Satisfiability Problem: Theory and Applications به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مساله رضایتمندی: نظریه و کاربرد نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مساله رضایتمندی: نظریه و کاربرد
مسئله رضایت‌پذیری (SAT) در منطق ریاضی، تئوری محاسبات و بسیاری از کاربردهای صنعتی مرکزی است. رابطه قوی بین تئوری، الگوریتم ها و کاربردهای مسئله SAT وجود دارد. هدف این کتاب گردآوری کارهای بهترین نظریه پردازان، الگوریتم گراها و متخصصانی است که روی مسئله SAT و کاربردهای صنعتی کار می کنند و همچنین تعامل بین سه گروه تحقیقاتی را افزایش می دهد. این کتاب کاربرد نتایج نظری/الگوریتمی را در مسائل عملی و ارائه مشکلات عملی برای مطالعه نظری/الگوریتمی دارد.
عناوین اصلی پوشش داده شده در این کتاب شامل مسائل و معیارهای SAT عملی و صنعتی، مطالعات موردی مهم و کاربردهای مسئله SAT و الگوریتم‌های SAT، الگوریتم‌های جدید و تکنیک‌های بهبود یافته برای تست رضایت‌پذیری، ساختارهای داده خاص و جزئیات پیاده‌سازی الگوریتم‌های SAT است. ، و مطالعه نظری مسئله SAT و الگوریتم های SAT.
ویژگی ها:
بررسی جامع کار تحقیقاتی SAT در 25 سال گذشته.
آخرین نتایج تحقیقات.
طیفی از مسائل و کاربردهای الگوریتمی.
توضیحاتی درمورد کتاب به خارجی
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.
فهرست مطالب
Content: Cover
Title page
In celebration of 25 years of research on the satisfiability (SAT) problem (1971-1996)
Workshop information
Contents
Quote
Foreword
Preface
Finding hard instances of the satisfiability problem: A survey
Algorithms for the satisfiability (SAT) problem: A survey
Backtracking and probing
Relative size of certain polynomial time solvable subclasses of satisfiability
Complexity of hierarchically and 1-dimensional periodically specified problems. I: Hardness results
Worst-case analysis, 3-SAT decision, and lower bounds: Approaches for improved SAT algorithms Satisfiability of 3CNF formulas with small clause/variable-ratioPropositional search efficiency and first-order theorem proving
Branching rules for propositional satisfiability test
A discrete Lagrangian-based global-search method for solving satisfiability problems
Approximate solution of weighted MAX-SAT problems using GRASP
Multispace search for satisfiability and NP-hard problems
A branch and cut algorithm for MAX-SAT and weighted MAX-SAT
Surrogate constraint analysis-new heuristics and learning schemes for satisfiability problems A general stochastic approach to solving problems with hard and soft constraintsSome fundamental properties of Boolean ring normal forms
The polynomial time decidability of simulation relations for finite state processes: A HORNSAT based approach
A better upper bound for the unsatisfiability threshold
Solving MAX-SAT with nonoblivious functions and history-based heuristics
On the imbalance of distributions of solutions of CNF formulas and its impact on satisfiability solvers
On the use of second order derivatives for the satisfiability problem Local search for channel assignment in cellular mobile networksA GRASP clustering technique for circuit partitioning
Back Cover
