Solving QBF with heuristic small-world optimization search algorithm
Joint Authors
Source
The International Arab Journal of Information Technology
Issue
Vol. 12, Issue 4 (31 Jul. 2015)10 p.
Publisher
Publication Date
2015-07-31
Country of Publication
Jordan
No. of Pages
10
Main Subjects
Topics
Abstract 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.
American Psychological Association (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
Modern Language Association (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
American Medical Association (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
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-431180