Paper Title:
Extension Rule Based Model Counting Using More Reasoning
  Abstract

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, C. G. Zhou, M. H. Yin, H. Yang, "Extension Rule Based Model Counting Using More Reasoning", Advanced Materials Research, Vols. 108-111, pp. 268-273, 2010
Online since
May 2010
Export
Price
$32.00
Share

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

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

Authors: Yong Xian Li, Bin Wang, Guang Ping Peng
Abstract:A new intelligent orthogonal optimization algorithm for robust design is proposed in order to improve accuracy and efficiency. The next...
301
Authors: Zhong Ping Zhang, Yong Xin Liang
Abstract:This paper proposes a new data stream outlier detection algorithm SODRNN based on reverse nearest neighbors. We deal with the sliding window...
1032
Authors: Hai Feng Li, Ning Zhang
Chapter 1: Transportation & Service Science
Abstract:Maximal frequent itemsets are one of several condensed representations of frequent itemsets, which store most of the information contained in...
21
Authors: Bei Zhan Wang, Xiang Deng, Wei Chuan Ye, Hai Fang Wei
Chapter 13: Mechanical Control and Information Processing Technology
Abstract:The particle swarm optimization (PSO) algorithm is a new type global searching method, which mostly focus on the continuous variables and...
1787
Authors: Teng Li, Xiao Mei Yuan, Shi Liang Yang, Xin Hui Zhang
Chapter 2: Motivation, Thermal, Electronics and Power Engineering
Abstract:A new approach is presented for analyzing gas mixtures by transforming the problem into a pattern classification one to reduce the effect of...
548