Message Passing Algorithm for Solving QBF Using More Reasoning
Joint Authors
Weihua, Su
Zhou, Junping
Wang, Jia-Nan
Yin, Minghao
Source
Mathematical Problems in Engineering
Issue
Vol. 2013, Issue 2013 (31 Dec. 2013), pp.1-6, 6 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2013-10-27
Country of Publication
Egypt
No. of Pages
6
Main Subjects
Abstract 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.
American Psychological Association (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
Modern Language Association (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
American Medical Association (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
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-1031708