Solving #QBF Using Extension Rule

Abstract:

Article Preview

Extension rule is a new method for computing the number of models for SAT formulae. In this paper, we investigate the use of the extension rule in solving #QBF, i.e., computing the number of Q1x1…Qn xn which makes the Quantified Boolean Formulas (QBF) Q1x1…Qn xnF evaluate to true. We present a #QBF algorithm based on the extension rule, namely QBFMC, which also integrates the unit propagation and the component analysis together. These excellent technologies improve the efficiency of solving #QBF problems efficiently.

Info:

Periodical:

Edited by:

Zhenyu Du and Bin Liu

Pages:

250-254

DOI:

10.4028/www.scientific.net/AMM.26-28.250

Citation:

J. P. Zhou et al., "Solving #QBF Using Extension Rule", Applied Mechanics and Materials, Vols. 26-28, pp. 250-254, 2010

Online since:

June 2010

Export:

Price:

$35.00

In order to see related information, you need to Login.

In order to see related information, you need to Login.