Extension Rule Based Model Counting Using More Reasoning

Abstract:

Article Preview

Extension rule is a new method for computing the number of models for a given propositional formula. In some sense, it is actually an inverse propositonal resolution. In order to improve counting performance, we introduce some reasoning rules into extension rule based model counting and present a new algorithm RCER which combines the extension rule and the reasoning rule together. The experiment results show that the algorithm not only occupies less space but also increases the efficiency for solving model counting.

Info:

Periodical:

Advanced Materials Research (Volumes 108-111)

Edited by:

Yanwen Wu

Pages:

268-273

DOI:

10.4028/www.scientific.net/AMR.108-111.268

Citation:

J. P. Zhou et al., "Extension Rule Based Model Counting Using More Reasoning", Advanced Materials Research, Vols. 108-111, pp. 268-273, 2010

Online since:

May 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.