کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
10329751 | 685514 | 2005 | 23 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
An Isomorph-Free SEM-Like Enumeration of Models
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: An Isomorph-Free SEM-Like Enumeration of Models An Isomorph-Free SEM-Like Enumeration of Models](/preview/png/10329751.png)
چکیده انگلیسی
We investigate the integration of the enumeration of finite models of a formula, including unit propagation and pruning mechanisms, as provided by the system SEM, into McKay's general method of isomorph-free exhaustive enumeration. The two techniques turn out to be nicely compatible, though this requires some adaptations, and to prove some non-trivial properties.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 125, Issue 2, 15 March 2005, Pages 91-113
Journal: Electronic Notes in Theoretical Computer Science - Volume 125, Issue 2, 15 March 2005, Pages 91-113
نویسندگان
Thierry Boy de la Tour, Prakash Countcham,