دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Carlos Ansótegui, Felip Manyà (auth.), Holger H. Hoos, David G. Mitchell (eds.) سری: Lecture Notes in Computer Science 3542 Theoretical Computer Science and General Issues ISBN (شابک) : 9783540278290, 9783540315803 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2005 تعداد صفحات: 405 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 10 مگابایت
کلمات کلیدی مربوط به کتاب نظریه و کاربردهای آزمون رضایتمندی: هفتمین کنفرانس بین المللی ، SAT 2004 ، ونکوور ، پیش از میلاد ، کانادا ، 10-13 مه 2004 ، مقالات منتخب بازبینی شده: منطق ریاضی و زبان های رسمی، تجزیه و تحلیل الگوریتم و پیچیدگی مسائل، سیستم های عامل، محاسبات عددی، هوش مصنوعی (شامل رباتیک)، منطق ریاضی و مبانی
در صورت تبدیل فایل کتاب Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نظریه و کاربردهای آزمون رضایتمندی: هفتمین کنفرانس بین المللی ، SAT 2004 ، ونکوور ، پیش از میلاد ، کانادا ، 10-13 مه 2004 ، مقالات منتخب بازبینی شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری هفتمین کنفرانس بین المللی تئوری و کاربردهای تست رضایتمندی، SAT 2004، برگزار شده در ونکوور، بریتیش کلمبیا، کانادا در می 2004 است.
24 مقاله کامل اصلاح شده با هم ارائه شده اند. با 2 مقاله دعوت شده از بین 72 مقاله ارسالی به دقت انتخاب شد. علاوه بر این، 2 گزارش در مورد رقابت حل SAT 2004 و ارزیابی حل کننده QBF 2004 وجود دارد. کل طیف تحقیقات در آزمون رضایتپذیری فرمول بولی گزارهای و کمی پوشش داده شده است. زمینه های علوم کامپیوتر نظری و تجربی و همچنین بسیاری از حوزه های کاربردی مرتبط را گرد هم می آورد.
This book constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Satisfiability Testing, SAT 2004, held in Vancouver, BC, Canada in May 2004.
The 24 revised full papers presented together with 2 invited papers were carefully selected from 72 submissions. In addition there are 2 reports on the 2004 SAT Solver Competition and the 2004 QBF Solver Evaluation. The whole spectrum of research in propositional and quantified Boolean formula satisfiability testing is covered; bringing together the fields of theoretical and experimental computer science as well as the many relevant application areas.
Front Matter....Pages -
Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables....Pages 1-15
A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints....Pages 16-29
An Algebraic Approach to the Complexity of Generalized Conjunctive Queries....Pages 30-45
Incremental Compilation-to-SAT Procedures....Pages 46-58
Resolve and Expand....Pages 59-70
Looking Algebraically at Tractable Quantified Boolean Formulas....Pages 71-79
Derandomization of Schuler’s Algorithm for SAT....Pages 80-88
Polynomial Time SAT Decision, Hypergraph Transversals and the Hermitian Rank....Pages 89-104
QBF Reasoning on Real-World Instances....Pages 105-121
Automatic Extraction of Functional Dependencies....Pages 122-132
Algorithms for Satisfiability Using Independent Sets of Variables....Pages 133-144
Aligning CNF- and Equivalence-Reasoning....Pages 145-156
Using DPLL for Efficient OBDD Construction....Pages 157-172
Approximation Algorithm for Random MAX- k SAT....Pages 173-182
Clause Form Conversions for Boolean Circuits....Pages 183-198
From Spin Glasses to Hard Satisfiable Formulas....Pages 199-210
CirCUs: A Hybrid Satisfiability Solver....Pages 211-223
Equivalence Models for Quantified Boolean Formulas....Pages 224-234
Search vs. Symbolic Techniques in Satisfiability Solving....Pages 235-250
Worst Case Bounds for Some NP-Complete Modified Horn-SAT Problems....Pages 251-262
Satisfiability Threshold of the Skewed Random k -SAT....Pages 263-275
NiVER: Non-increasing Variable Elimination Resolution for Preprocessing SAT Instances....Pages 276-291
Analysis of Search Based Algorithms for Satisfiability of Propositional and Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems....Pages 292-305
UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT and MAX-SAT....Pages 306-320
Fifty-Five Solvers in Vancouver: The SAT 2004 Competition....Pages 321-344
March_eq: Implementing Additional Reasoning into an Efficient Look-Ahead SAT Solver....Pages 345-359
Zchaff2004: An Efficient SAT Solver....Pages 360-375
The Second QBF Solvers Comparative Evaluation....Pages 376-392
Back Matter....Pages -