Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Exploiting Structure in Weighted Model Counting Approaches to
  Probabilistic Inference   Previous studies have demonstrated that encoding a Bayesian network into a
SAT formula and then performing weighted model counting using a backtracking
search algorithm can be an effective method for exact inference. In this paper,
we present techniques for improving this approach for Bayesian networks with
noisy-OR and noisy-MAX relations---two relations that are widely used in
practice as they can dramatically reduce the number of probabilities one needs
to specify. In particular, we present two SAT encodings for noisy-OR and two
encodings for noisy-MAX that exploit the structure or semantics of the
relations to improve both time and space efficiency, and we prove the
correctness of the encodings. We experimentally evaluated our techniques on
large-scale real and randomly generated Bayesian networks. On these benchmarks,
our techniques gave speedups of up to two orders of magnitude over the best
previous approaches for networks with noisy-OR/MAX relations and scaled up to
larger networks. As well, our techniques extend the weighted model counting
approach for exact inference to networks that were previously intractable for
the approach.

6
The categories of this paper are: astro-ph
15
The categories of this paper are: nucl-ex
37
The categories of this paper are: supr-con
16
The categories of this paper are: stat
28
The categories of this paper are: alg-geom
11
The categories of this paper are: hep-lat
17
The categories of this paper are: q-fin
36
The categories of this paper are: cmp-lg
35
The categories of this paper are: mtrl-th
29
The categories of this paper are: funct-an
27
The categories of this paper are: comp-gas
19
The categories of this paper are: eess
30
The categories of this paper are: q-alg
0
The categories of this paper are: hep-ph
3
The categories of this paper are: physics
32
The categories of this paper are: atom-ph