کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4952169 1442013 2017 23 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Gap theorems for robust satisfiability: Boolean CSPs and beyond
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Gap theorems for robust satisfiability: Boolean CSPs and beyond
چکیده انگلیسی
Universal algebraic methods have been central to recent efforts in classifying the complexity of constraint satisfaction problems. A second contribution of the article is to develop aspects of the algebraic approach in the context of a number of variants of the constraint satisfaction problem. In particular, this allows us to lift our results on Boolean domains to many templates on non-Boolean domains.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 676, 9 May 2017, Pages 69-91
نویسندگان
,