کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6874103 | 1441022 | 2018 | 7 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Short proofs for some symmetric Quantified Boolean Formulas
ترجمه فارسی عنوان
اثبات های کوتاه برای برخی فرمول های بولین کوانتومی متقارن
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
We exploit symmetries to give short proofs for two prominent formula families of QBF proof complexity theory. On the one hand, we employ symmetry breakers. On the other hand, we enrich the (relatively weak) QBF resolution calculus Q-Res with the symmetry rule and obtain separations to powerful QBF calculi.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information Processing Letters - Volume 140, December 2018, Pages 4-7
Journal: Information Processing Letters - Volume 140, December 2018, Pages 4-7
نویسندگان
Manuel Kauers, Martina Seidl,