![](/images/graphics-bg.png)
A Variable Neighborhood Walksat-Based Algorithm for MAX-SAT Problems
المؤلف
المصدر
العدد
المجلد 2014، العدد 2014 (31 ديسمبر/كانون الأول 2014)، ص ص. 1-11، 11ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2014-08-06
دولة النشر
مصر
عدد الصفحات
11
التخصصات الرئيسية
الطب البشري
تكنولوجيا المعلومات وعلم الحاسوب
الملخص EN
The simplicity of the maximum satisfiability problem (MAX-SAT) combined with itsapplicability in many areas of artificial intelligence and computing science made it one ofthe fundamental optimization problems.
This NP-complete problem refers to the task offinding a variable assignment that satisfies the maximum number of clauses (or the sumof weights of satisfied clauses) in a Boolean formula.
The Walksat algorithm is consideredto be the main skeleton underlying almost all local search algorithms for MAX-SAT.
Mostlocal search algorithms including Walksat rely on the 1-flip neighborhood structure.
Thispaper introduces a variable neighborhood walksat-based algorithm.
The neighborhoodstructure can be combined easily using any local search algorithm.
Its effectiveness iscompared with existing algorithms using 1-flip neighborhood structure and solverssuch as CCLS and Optimax from the eighth MAX-SAT evaluation.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Bouhmala, Noureddine. 2014. A Variable Neighborhood Walksat-Based Algorithm for MAX-SAT Problems. The Scientific World Journal،Vol. 2014, no. 2014, pp.1-11.
https://search.emarefa.net/detail/BIM-1051074
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Bouhmala, Noureddine. A Variable Neighborhood Walksat-Based Algorithm for MAX-SAT Problems. The Scientific World Journal No. 2014 (2014), pp.1-11.
https://search.emarefa.net/detail/BIM-1051074
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Bouhmala, Noureddine. A Variable Neighborhood Walksat-Based Algorithm for MAX-SAT Problems. The Scientific World Journal. 2014. Vol. 2014, no. 2014, pp.1-11.
https://search.emarefa.net/detail/BIM-1051074
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1051074
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)