Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Circuit-Based Approach to Efficient Enumeration   We study the problem of enumerating the satisfying valuations of a circuit
while bounding the delay, i.e., the time needed to compute each successive
valuation. We focus on the class of structured d-DNNF circuits originally
introduced in knowledge compilation, a sub-area of artificial intelligence. We
propose an algorithm for these circuits that enumerates valuations with linear
preprocessing and delay linear in the Hamming weight of each valuation.
Moreover, valuations of constant Hamming weight can be enumerated with linear
preprocessing and constant delay.
  Our results yield a framework for efficient enumeration that applies to all
problems whose solutions can be compiled to structured d-DNNFs. In particular,
we use it to recapture classical results in database theory, for factorized
database representations and for MSO evaluation. This gives an independent
proof of constant-delay enumeration for MSO formulae with first-order free
variables on bounded-treewidth structures.

31
The categories of this paper are: ao-sci
3
The categories of this paper are: physics
5
The categories of this paper are: gr-qc
29
The categories of this paper are: funct-an
10
The categories of this paper are: q-bio
6
The categories of this paper are: astro-ph
12
The categories of this paper are: nucl-th
33
The categories of this paper are: plasm-ph
37
The categories of this paper are: supr-con
17
The categories of this paper are: q-fin
21
The categories of this paper are: adap-org
23
The categories of this paper are: solv-int
15
The categories of this paper are: nucl-ex
2
The categories of this paper are: math
32
The categories of this paper are: atom-ph
7
The categories of this paper are: hep-th