کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4950085 | 1440358 | 2016 | 15 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
The Incremental Satisfiability Problem for a Two Conjunctive Normal Form
ترجمه فارسی عنوان
مشکل رضایت افزایشی برای یک فرم عادی معمول دو طرفه
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
We propose a novel method to review Kâ¢Ï when K and Ï are both in Conjunctive Normal Forms (CF). We extend our method to solve the incremental satisfiablity problem (ISAT), and we present different cases where ISAT can be solved in polynomial time.Especially, we present an algorithm for 2-ISAT. Our last algorithm allow us to establish an upper bound for the time-complexity of 2-ISAT, as well as to establish some tractable cases for the 2-ISAT problem.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 328, 8 December 2016, Pages 31-45
Journal: Electronic Notes in Theoretical Computer Science - Volume 328, 8 December 2016, Pages 31-45
نویسندگان
Guillermo De Ita Luna, J. Raymundo Marcial-Romero, José A. Hernández,