Solving #QBF Using Extension Rule

Abstract

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.

Synthesis and Adsorption Property of Graphite Oxide Modified GF/EPDM Foamed Composite

“…In recent years, the study of organic/inorganic nanocomposites had more and more attention, inorganic nanoparticles, small size, high specific surface area, tend to make nanocomposites showed better physical properties than the original polymer materials andadsorption properties [1][2][3].…”