Solving the maximum satisfiability problem using an evolutionary local search algorithm
المؤلفون المشاركون
Batouche, Muhammad
Menai, Muhammad al-Bachir
المصدر
The International Arab Journal of Information Technology
العدد
المجلد 2، العدد 2 (30 إبريل/نيسان 2005)، ص ص. 154-161، 8ص.
الناشر
تاريخ النشر
2005-04-30
دولة النشر
الأردن
عدد الصفحات
8
التخصصات الرئيسية
تكنولوجيا المعلومات وعلم الحاسوب
الموضوعات
الملخص EN
The MAXimum propositional SATisfiability problem (MAXSAT) is a well known NP-hard optimization problem with many theoretical and practical applications in artificial intelligence and mathematical logic.
Heuristic local search algorithms are widely recognized as the most effective approaches used to solve them.
However, their performance depends both on their complexity and their tuning parameters which are controlled experimentally and remain a difficult task.
Extremal Optimization (EO) is one of the simplest heuristic methods with only one free parameter, which has proved competitive with the more elaborate general-purpose method on graph partitioning and coloring.
It is inspired by the dynamics of physical systems with emergent complexity and their ability to self-organize to reach an optimal adaptation state.
In this paper, we propose an extremal optimization procedure for MAXSAT and consider its effectiveness by computational experiments on a benchmark of random instances.
Comparative tests showed that this procedure improves significantly previous results obtained on the same benchmark with other modern local search methods like WSAT, simulated annealing and Tabu Search (TS).
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Menai, Muhammad al-Bachir& Batouche, Muhammad. 2005. Solving the maximum satisfiability problem using an evolutionary local search algorithm. The International Arab Journal of Information Technology،Vol. 2, no. 2, pp.154-161.
https://search.emarefa.net/detail/BIM-12152
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Menai, Muhammad al-Bachir& Batouche, Muhammad. Solving the maximum satisfiability problem using an evolutionary local search algorithm. The International Arab Journal of Information Technology Vol. 2, no. 2 (Apr. 2005), pp.154-161.
https://search.emarefa.net/detail/BIM-12152
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Menai, Muhammad al-Bachir& Batouche, Muhammad. Solving the maximum satisfiability problem using an evolutionary local search algorithm. The International Arab Journal of Information Technology. 2005. Vol. 2, no. 2, pp.154-161.
https://search.emarefa.net/detail/BIM-12152
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references : p. 160-161
رقم السجل
BIM-12152
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر