کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
9655178 | 684860 | 2005 | 39 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
In this paper we study several classes of Boolean formulae which generalize Horn formulae while preserving one of their main properties, namely the fact that satisfiability is decidable in polynomial time. We compare the known classes with respect to inclusion and define a hierarchy of new classes, which properly contains some of the known classes.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Discrete Applied Mathematics - Volume 149, Issues 1â3, 1 August 2005, Pages 14-52
Journal: Discrete Applied Mathematics - Volume 149, Issues 1â3, 1 August 2005, Pages 14-52
نویسندگان
OndÅej Äepek, Petr KuÄera,