دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Theory and Applications of Satisfiability Testing – SAT 2019: 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings
دانلود کتاب تئوری و کاربردهای آزمون رضایتمندی - SAT 2019: 22th International Convention، SAT 2019، لیسبون، پرتغال، 9-12 ژوئیه 2019، مجموعه مقالات
مشخصات کتاب
Theory and Applications of Satisfiability Testing – SAT 2019: 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings
ویرایش: 1st ed.
نویسندگان: Mikoláš Janota. Inês Lynce
سری: Lecture Notes in Computer Science 11628
ISBN (شابک) : 9783030242572
ناشر: Springer International Publishing
سال نشر: 2019
تعداد صفحات: 438
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 15 مگابایت
قیمت کتاب (تومان) : 49,000
کلمات کلیدی مربوط به کتاب تئوری و کاربردهای آزمون رضایتمندی - SAT 2019: 22th International Convention، SAT 2019، لیسبون، پرتغال، 9-12 ژوئیه 2019، مجموعه مقالات: علوم کامپیوتر، تئوری محاسبات، محاسبات عددی، مهندسی نرم افزار، عملکرد و ارزیابی سیستم، حرفه محاسبات
در صورت تبدیل فایل کتاب Theory and Applications of Satisfiability Testing – SAT 2019: 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تئوری و کاربردهای آزمون رضایتمندی - SAT 2019: 22th International Convention، SAT 2019، لیسبون، پرتغال، 9-12 ژوئیه 2019، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تئوری و کاربردهای آزمون رضایتمندی - SAT 2019: 22th International Convention، SAT 2019، لیسبون، پرتغال، 9-12 ژوئیه 2019، مجموعه مقالات
این کتاب مجموعه مقالات داوری بیست و دومین کنفرانس بین المللی نظریه و کاربردهای تست رضایتمندی، SAT 2019، که در لیسبون، پرتغال، بریتانیا، در ژوئیه 2019 برگزار شد، تشکیل می شود.
19 مقاله کامل اصلاح شده ارائه شده است. به همراه 7 مقاله کوتاه به دقت بررسی و از بین 64 مقاله ارسالی انتخاب شد. این مقالات جنبه‌های مختلف SAT را که به معنای وسیع تفسیر می‌شوند، شامل (اما نه محدود به) پیشرفت‌های نظری (مانند الگوریتم‌های دقیق، پیچیدگی اثبات، و سایر مسائل پیچیدگی)، الگوریتم‌های جستجوی عملی، گردآوری دانش، جزئیات در سطح پیاده‌سازی SAT می‌پردازند. حل‌کننده‌ها و سیستم‌های مبتنی بر SAT، کدگذاری‌ها و فرمول‌بندی‌های مجدد مسئله، برنامه‌های کاربردی (شامل حوزه‌های کاربردی جدید و بهبود رویکردهای موجود)، و همچنین مطالعات موردی و گزارش‌هایی در مورد یافته‌های مبتنی بر آزمایش‌های دقیق.توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019, held in Lisbon, Portugal, UK, in July 2019.
The 19 revised full papers presented together with 7 short papers were carefully reviewed and selected from 64 submissions. The papers address different aspects of SAT interpreted in a broad sense, including (but not restricted to) theoretical advances (such as exact algorithms, proof complexity, and other complexity issues), practical search algorithms, knowledge compilation, implementation-level details of SAT solvers and SAT-based systems, problem encodings and reformulations, applications (including both novel application domains and improvements to existing approaches), as well as case studies and reports on findings based on rigorous experimentation.فهرست مطالب
Front Matter ....Pages i-xiv
Circular (Yet Sound) Proofs (Albert Atserias, Massimo Lauria)....Pages 1-18
Short Proofs in QBF Expansion (Olaf Beyersdorff, Leroy Chew, Judith Clymo, Meena Mahajan)....Pages 19-35
Proof Complexity of QBF Symmetry Recomputation (Joshua Blinkhorn, Olaf Beyersdorff)....Pages 36-52
Satisfiability Threshold for Power Law Random 2-SAT in Configuration Model (Oleksii Omelchenko, Andrei A. Bulatov)....Pages 53-70
DRAT Proofs, Propagation Redundancy, and Extended Resolution (Sam Buss, Neil Thapen)....Pages 71-89
Knowledge Compilation Languages as Proof Systems (Florent Capelli)....Pages 90-99
The Equivalences of Refutational QRAT (Leroy Chew, Judith Clymo)....Pages 100-116
A SAT-Based System for Consistent Query Answering (Akhil A. Dixit, Phokion G. Kolaitis)....Pages 117-135
Incremental Inprocessing in SAT Solving (Katalin Fazekas, Armin Biere, Christoph Scholl)....Pages 136-154
Local Search for Fast Matrix Multiplication (Marijn J. H. Heule, Manuel Kauers, Martina Seidl)....Pages 155-163
Speeding Up Assumption-Based SAT (Randy Hickey, Fahiem Bacchus)....Pages 164-182
Simplifying CDCL Clause Database Reduction (Sima Jamali, David Mitchell)....Pages 183-192
QRAT Polynomially Simulates \\(\\forall \\text {-Exp+Res}\\) (Benjamin Kiesl, Martina Seidl)....Pages 193-202
QRATPre+: Effective QBF Preprocessing via Strong Redundancy Properties (Florian Lonsing, Uwe Egly)....Pages 203-210
On Computing the Union of MUSes (Carlos Mencía, Oliver Kullmann, Alexey Ignatiev, Joao Marques-Silva)....Pages 211-221
Revisiting Graph Width Measures for CNF-Encodings (Stefan Mengel, Romain Wallon)....Pages 222-238
DRMaxSAT with MaxHS: First Contact (Antonio Morgado, Alexey Ignatiev, Maria Luisa Bonet, Joao Marques-Silva, Sam Buss)....Pages 239-249
Backing Backtracking (Sibylle Möhle, Armin Biere)....Pages 250-266
Assessing Heuristic Machine Learning Explanations with Model Counting (Nina Narodytska, Aditya Shrotri, Kuldeep S. Meel, Alexey Ignatiev, Joao Marques-Silva)....Pages 267-278
Syntax-Guided Rewrite Rule Enumeration for SMT Solvers (Andres Nötzli, Andrew Reynolds, Haniel Barbosa, Aina Niemetz, Mathias Preiner, Clark Barrett et al.)....Pages 279-297
DRAT-based Bit-Vector Proofs in CVC4 (Alex Ozdemir, Aina Niemetz, Mathias Preiner, Yoni Zohar, Clark Barrett)....Pages 298-305
Combining Resolution-Path Dependencies with Dependency Learning (Tomáš Peitl, Friedrich Slivovsky, Stefan Szeider)....Pages 306-318
Proof Complexity of Fragments of Long-Distance Q-Resolution (Tomáš Peitl, Friedrich Slivovsky, Stefan Szeider)....Pages 319-335
Guiding High-Performance SAT Solvers with Unsat-Core Predictions (Daniel Selsam, Nikolaj Bjørner)....Pages 336-353
Verifying Binarized Neural Networks by Angluin-Style Learning (Andy Shih, Adnan Darwiche, Arthur Choi)....Pages 354-370
\\(\\mathsf {CrystalBall}\\): Gazing in the Black Box of SAT Solving (Mate Soos, Raghav Kulkarni, Kuldeep S. Meel)....Pages 371-387
Clausal Abstraction for DQBF (Leander Tentrup, Markus N. Rabe)....Pages 388-405
On Super Strong ETH (Nikhil Vyas, Ryan Williams)....Pages 406-423
Back Matter ....Pages 425-425
نظرات کاربران
کتاب های تصادفی
دانلود کتاب A Short Course in Combinatorial Designs
دانلود کتاب The Life and Prayers of Saint Lucy of Syracuse
دانلود کتاب Other Middle Ages: Witnesses at the Margins of Medieval Society
