Paper Title:
Preprocessing in Model Counting through Clause and Variable Elimination
  Abstract

Preprocessing model counting instances can reduce their size considerably and decrease the solving time. In this paper we present a preprocessing algorithm Preprocess, which combines many advanced techniques, such as the unit propagation, and the hyper-binary resolution. In particular, it also combines (1) clause elimination by subsumption, and (2) variable elimination by equivalence reasoning. It has proved that these excellent technologies not only reduce the size of the model counting formulae, but also improve the ability of the model counters to solve model counting problems.

  Info
Periodical
Advanced Materials Research (Volumes 255-260)
Edited by
Jingying Zhao
Pages
2033-2036
DOI
10.4028/www.scientific.net/AMR.255-260.2033
Citation
Q. Guo, A. L. Wang, Y. Liu, "Preprocessing in Model Counting through Clause and Variable Elimination", Advanced Materials Research, Vols. 255-260, pp. 2033-2036, 2011
Online since
May 2011
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: Xiao Hua Wang, Yong Mei Zhang
Abstract:On the premise of ensuring safety and reliability in electricity market environment, the goal of State Grid Corporation is that purchase AGC...
274
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: Zi Xu, Jing Yu
Chapter 6: Computational Simulation, Monitoring and Analysis in Manufacture
Abstract:This paper proposes the combined direction stochastic approximation method for solving simulation-based optimization problems. The new...
688
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