عنوان
پدید آورنده
موضوع
رده
QA76.9.A43 S28 2006eb
QA76
.
9
.
A43
S28
2006eb
کتابخانه
محل استقرار
شابک
شابک
1280744995
شابک
1402045522
شابک
1402055714
شابک
9781280744990
شابک
9781402045523
شابک
9781402055713
شماره کتابشناسی ملی
شماره
b714013
عنوان و نام پديدآور
عنوان اصلي
SAT 2005 :
نام عام مواد
[Book]
ساير اطلاعات عنواني
satisfiability research in the year 2005 /
نام نخستين پديدآور
edited by Enrico Giunchiglia and Toby Walsh.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Dordrecht :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
©2006.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (293 pages) :
ساير جزييات
illustrations
يادداشت کلی
متن يادداشت
"Reprinted from Journal of automated reasoning, v. 35, nos. 1-3 (2005)."
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references.
یادداشتهای مربوط به مندرجات
متن يادداشت
Satisfiability in the Year 2005; Heuristic-Based Backtracking Relaxation for Propositional Satisfiability; Symbolic Techniques in Satisfiability Solving; Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas; Backdoor Sets for DLL Subsolvers; The Complexity of Pure Literal Elimination; Clause Weighting Local Search for SAT; Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings; Regular Random k-SAT: Properties of Balanced Formulas; Applying SAT Solving in Classification of Finite Algebras.
بدون عنوان
0
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and software verification. The core of many reasoning problems in automated deduction are propositional. This work deals with the progress made in solving propositional satisfiability and related problems.
یادداشتهای مربوط به سفارشات
منبع سفارش / آدرس اشتراک
Springer
شماره انبار
978-1-4020-4552-3
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
SAT 2005.
شماره استاندارد بين المللي کتاب و موسيقي
1402045522
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
Satisfiability research in the year 2005
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computational complexity.
موضوع مستند نشده
Computer algorithms.
موضوع مستند نشده
Propositional calculus.
موضوع مستند نشده
Computational complexity.
موضوع مستند نشده
Computational complexity.
موضوع مستند نشده
Computer algorithms.
موضوع مستند نشده
Computer algorithms.
موضوع مستند نشده
COMPUTERS-- Programming-- Open Source.
موضوع مستند نشده
COMPUTERS-- Software Development & Engineering-- General.
موضوع مستند نشده
COMPUTERS-- Software Development & Engineering-- Tools.
موضوع مستند نشده
Informatique.
موضوع مستند نشده
Propositional calculus.
موضوع مستند نشده
Propositional calculus.
مقوله موضوعی
موضوع مستند نشده
COM-- 051230
موضوع مستند نشده
COM-- 051390
موضوع مستند نشده
COM-- 051440
موضوع مستند نشده
U
رده بندی ديویی
شماره
005
.
1
ويراست
22
رده بندی کنگره
شماره رده
QA76
.
9
.
A43
نشانه اثر
S28
2006eb
سایر رده بندی ها
شماره رده
TP301
.
6
کد سيستم
clc
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Giunchiglia, Enrico.
مستند نام اشخاص تاييد نشده
Walsh, Toby.
مبدا اصلی
تاريخ عمليات
20201208042103.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
