کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6873781 1440705 2018 15 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Local reduction
ترجمه فارسی عنوان
کاهش محلی
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش مقاله
کاهش محلی
چکیده انگلیسی
As an application, we tighten Williams' connection between satisfiability algorithms and circuit lower bounds (STOC 2010; SIAM J. Comput. 2013).
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information and Computation - Volume 261, Part 2, August 2018, Pages 281-295
نویسندگان
, , ,