Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Approximate Model Counting by Partial Knowledge Compilation   Model counting is the problem of computing the number of satisfying
assignments of a given propositional formula. Although exact model counters can
be naturally furnished by most of the knowledge compilation (KC) methods, in
practice, they fail to generate the compiled results for the exact counting of
models for certain formulas due to the explosion in sizes. Decision-DNNF is an
important KC language that captures most of the practical compilers. We propose
a generalized Decision-DNNF (referred to as partial Decision-DNNF) via
introducing a class of new leaf vertices (called unknown vertices), and then
propose an algorithm called PartialKC to generate randomly partial
Decision-DNNF formulas from the given formulas. An unbiased estimate of the
model number can be computed via a randomly partial Decision-DNNF formula. Each
calling of PartialKC consists of multiple callings of MicroKC, while each of
the latter callings is a process of importance sampling equipped with KC
technologies. The experimental results show that PartialKC is more accurate
than both SampleSearch and SearchTreeSampler, PartialKC scales better than
SearchTreeSampler, and the KC technologies can obviously accelerate sampling.

25
The categories of this paper are: patt-sol
2
The categories of this paper are: math
34
The categories of this paper are: chem-ph
33
The categories of this paper are: plasm-ph
30
The categories of this paper are: q-alg
8
The categories of this paper are: hep-ex
7
The categories of this paper are: hep-th
31
The categories of this paper are: ao-sci
15
The categories of this paper are: nucl-ex
16
The categories of this paper are: stat
36
The categories of this paper are: cmp-lg
23
The categories of this paper are: solv-int
17
The categories of this paper are: q-fin
9
The categories of this paper are: nlin
11
The categories of this paper are: hep-lat
4
The categories of this paper are: cond-mat