Solving QBF with heuristic small-world optimization search algorithm
المؤلفون المشاركون
المصدر
The International Arab Journal of Information Technology
العدد
المجلد 12، العدد 4 (31 يوليو/تموز 2015)10ص.
الناشر
تاريخ النشر
2015-07-31
دولة النشر
الأردن
عدد الصفحات
10
التخصصات الرئيسية
تكنولوجيا المعلومات وعلم الحاسوب
الموضوعات
الملخص EN
In this paper, we use Gaifman graph to describe the topological structure of the Quantified Boolean Formulae (QBF), we mainly study the formula family with the small-world network topology.
We analyze the traditional Putnam, Logemann and Loveland (DPLL) solving algorithm for QBF, then we improve the DPLL algorithm and propose the solving algorithm framework based on small world optimization search algorithm, we apply this small world optimization search algorithm to determine the order of the DPLL branch variable.
Our result proves that small world optimization search algorithm has a certain degree of effectiveness to improve the solving efficiency.
It is valuable as an incomplete solution algorithm for search-based solver.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Li, Tao& Xiao, Nanfeng. 2015. Solving QBF with heuristic small-world optimization search algorithm. The International Arab Journal of Information Technology،Vol. 12, no. 4.
https://search.emarefa.net/detail/BIM-431180
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Li, Tao& Xiao, Nanfeng. Solving QBF with heuristic small-world optimization search algorithm. The International Arab Journal of Information Technology Vol. 12, no. 4 (Jul. 2015).
https://search.emarefa.net/detail/BIM-431180
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Li, Tao& Xiao, Nanfeng. Solving QBF with heuristic small-world optimization search algorithm. The International Arab Journal of Information Technology. 2015. Vol. 12, no. 4.
https://search.emarefa.net/detail/BIM-431180
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-431180
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر