![](/images/graphics-bg.png)
Message Passing Algorithm for Solving QBF Using More Reasoning
المؤلفون المشاركون
Weihua, Su
Zhou, Junping
Wang, Jia-Nan
Yin, Minghao
المصدر
Mathematical Problems in Engineering
العدد
المجلد 2013، العدد 2013 (31 ديسمبر/كانون الأول 2013)، ص ص. 1-6، 6ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2013-10-27
دولة النشر
مصر
عدد الصفحات
6
التخصصات الرئيسية
الملخص EN
We present a novel solver for solving Quantified Boolean Formulae problem (QBF).
In order to improve the performance, we introduce some reasoning rules into the message passing algorithm for solving QBF.
When preprocessing the formulae, the solver incorporates the equality reduction and the hyperbinary resolution.
Further, the solver employs the message passing method to obtain more information when selecting branches.
By using the unit propagation, conflict driven learning, and satisfiability directed implication and learning, the solver handles the branches.
The experimental results also show that the solver can solve QBF problem efficiently.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Weihua, Su& Yin, Minghao& Wang, Jia-Nan& Zhou, Junping. 2013. Message Passing Algorithm for Solving QBF Using More Reasoning. Mathematical Problems in Engineering،Vol. 2013, no. 2013, pp.1-6.
https://search.emarefa.net/detail/BIM-1031708
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Weihua, Su…[et al.]. Message Passing Algorithm for Solving QBF Using More Reasoning. Mathematical Problems in Engineering No. 2013 (2013), pp.1-6.
https://search.emarefa.net/detail/BIM-1031708
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Weihua, Su& Yin, Minghao& Wang, Jia-Nan& Zhou, Junping. Message Passing Algorithm for Solving QBF Using More Reasoning. Mathematical Problems in Engineering. 2013. Vol. 2013, no. 2013, pp.1-6.
https://search.emarefa.net/detail/BIM-1031708
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1031708
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)