دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings
دانلود کتاب تئوری و کاربردهای تست رضایتمندی - SAT 2013: شانزدهمین کنفرانس بین المللی، هلسینکی، فنلاند، 8-12 ژوئیه، 2013، مجموعه مقالات
مشخصات کتاب
Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings
ویرایش: 2013
نویسندگان: Matti Jarvisalo. Allen Van Gelder
سری: LNCS 7962
ISBN (شابک) : 3642390706, 9783642390708
ناشر: Springer
سال نشر: 2013
تعداد صفحات: 454
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 48,000
کلمات کلیدی مربوط به کتاب تئوری و کاربردهای تست رضایتمندی - SAT 2013: شانزدهمین کنفرانس بین المللی، هلسینکی، فنلاند، 8-12 ژوئیه، 2013، مجموعه مقالات: هوش و معناشناسی، هوش مصنوعی و یادگیری ماشین، علوم کامپیوتر، کامپیوتر و فناوری، تئوری ماشین، هوش مصنوعی و یادگیری ماشین، علم کامپیوتر، کامپیوتر و فناوری، شبکه‌ها، شبکه‌ها، پروتکل‌ها و APIها، شبکه‌ها و محاسبات ابری، کامپیوترها و فناوری، الگوریتم‌ها، ساختارهای داده، ژنتیک، مدیریت حافظه، برنامه‌نویسی، کامپیوتر و فناوری، کاربردی، بیوماتیک، معادلات دیفرانسیل، نظریه بازی، نظریه نمودار، برنامه‌ریزی خطی، احتمال و آمار، آمار، مدل‌سازی تصادفی، تحلیل برداری
در صورت تبدیل فایل کتاب Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تئوری و کاربردهای تست رضایتمندی - SAT 2013: شانزدهمین کنفرانس بین المللی، هلسینکی، فنلاند، 8-12 ژوئیه، 2013، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تئوری و کاربردهای تست رضایتمندی - SAT 2013: شانزدهمین کنفرانس بین المللی، هلسینکی، فنلاند، 8-12 ژوئیه، 2013، مجموعه مقالات
این کتاب مجموعه مقالات داوری شانزدهمین کنفرانس بین المللی نظریه و کاربردهای تست رضایتمندی، SAT 2013، که در هلسینکی، فنلاند در ژوئیه 2013 برگزار شد، تشکیل شده است. از بین 71 مقاله ارسالی (850 معمولی، 15 مقاله کوتاه و 16 مقاله ابزار) به دقت بررسی و انتخاب شدند. تمرکز مقالات بر روی موضوعات زیر است: حداکثر رضایتمندی، کدگذاری‌ها و کاربردها، تکنیک‌ها و الگوریتم‌های حل‌کننده، عرض دسته و SAT، پیچیدگی اثبات گزاره، پیچیدگی پارامتری.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013, held in Helsinki, Finland in July 2013. The 21 regular papers, 5 short papers, and 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 71 submissions (850 regular, 15 short and 16 tool papers). The focus of the papers in on following topics: maximum satisfiability, encodings and applications, solver techniques and algorithms, clique-width and SAT, propositional proof complexity, parameterized complexity.
فهرست مطالب
Front Matter....Pages -
The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi-algebraic Proofs....Pages 1-17
Turing’s Computable Real Numbers and Why They Are Still Important Today....Pages 18-18
There Are No CNF Problems....Pages 19-21
Soundness of Inprocessing in Clause Sharing SAT Solvers....Pages 22-39
A Modular Approach to MaxSAT Modulo Theories....Pages 150-165
Exploiting the Power of mip Solvers in maxsat ....Pages 166-181
Community-Based Partitioning for MaxSAT Solving....Pages 182-191
Experiments with Reduction Finding....Pages 192-207
A Constraint Satisfaction Approach for Programmable Logic Detailed Placement....Pages 208-223
Minimizing Models for Tseitin-Encoded SAT Instances....Pages 224-232
Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability....Pages 233-249
Quantified Maximum Satisfiability:....Pages 250-266
Nested Boolean Functions as Models for Quantified Boolean Formulas....Pages 267-275
Exponential Separations in a Hierarchy of Clause Learning Proof Systems....Pages 40-51
On the Resolution Complexity of Graph Non-isomorphism....Pages 52-66
On Propositional QBF Expansions and Q-Resolution....Pages 67-82
Recovering and Utilizing Partial Duality in QBF....Pages 83-99
Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation....Pages 100-115
Concurrent Clause Strengthening....Pages 116-132
Parallel MUS Extraction....Pages 133-149
A SAT Approach to Clique-Width....Pages 318-334
Cliquewidth and Knowledge Compilation....Pages 335-350
LearnSAT: A SAT Solver for Education....Pages 403-407
MUStICCa: MUS Extraction with Interactive Choice of Candidates....Pages 408-414
SCSat: A Soft Constraint Guided SAT Solver....Pages 415-421
Snappy: A Simple Algorithm Portfolio....Pages 422-428
Scarab : A Rapid Prototyping Tool for SAT-Based Constraint Programming Systems....Pages 429-436
A Rank Lower Bound for Cutting Planes Proofs of Ramsey’s Theorem....Pages 351-364
The Complexity of Theorem Proving in Autoepistemic Logic....Pages 365-376
Local Backbones....Pages 377-393
Upper and Lower Bounds for Weak Backdoor Set Detection....Pages 394-402
Factoring Out Assumptions to Speed Up MUS Extraction....Pages 276-292
On the Interpolation between Product-Based Message Passing Heuristics for SAT....Pages 293-308
Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction....Pages 309-317
Back Matter....Pages -
