Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Exploiting Independent Subformulas: A Faster Approximation Scheme for
  #k-SAT   We present an improvement on Thurley's recent randomized approximation scheme
for #k-SAT where the task is to count the number of satisfying truth
assignments of a Boolean function {\Phi} given as an n-variable k-CNF. We
introduce a novel way to identify independent substructures of {\Phi} and can
therefore reduce the size of the search space considerably. Our randomized
algorithm works for any k. For #3-SAT, it runs in time
O(\epsilon^{-2}*1.51426^n), for #4-SAT, it runs in time
O(\epsilon^{-2}*1.60816^n), with error bound \epsilon.

28
The categories of this paper are: alg-geom
11
The categories of this paper are: hep-lat
8
The categories of this paper are: hep-ex
17
The categories of this paper are: q-fin
23
The categories of this paper are: solv-int
4
The categories of this paper are: cond-mat
31
The categories of this paper are: ao-sci
12
The categories of this paper are: nucl-th
21
The categories of this paper are: adap-org
29
The categories of this paper are: funct-an
24
The categories of this paper are: dg-ga
10
The categories of this paper are: q-bio
14
The categories of this paper are: math-ph
20
The categories of this paper are: acc-phys
6
The categories of this paper are: astro-ph
0
The categories of this paper are: hep-ph