Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: SDDs are Exponentially More Succinct than OBDDs   Introduced by Darwiche (2011), sentential decision diagrams (SDDs) are
essentially as tractable as ordered binary decision diagrams (OBDDs), but tend
to be more succinct in practice. This makes SDDs a prominent representation
language, with many applications in artificial intelligence and knowledge
compilation. We prove that SDDs are more succinct than OBDDs also in theory, by
constructing a family of boolean functions where each member has polynomial SDD
size but exponential OBDD size. This exponential separation improves a
quasipolynomial separation recently established by Razgon (2013), and settles
an open problem in knowledge compilation.

3
The categories of this paper are: physics
14
The categories of this paper are: math-ph
16
The categories of this paper are: stat
2
The categories of this paper are: math
0
The categories of this paper are: hep-ph
30
The categories of this paper are: q-alg
10
The categories of this paper are: q-bio
18
The categories of this paper are: econ
29
The categories of this paper are: funct-an
34
The categories of this paper are: chem-ph
5
The categories of this paper are: gr-qc
24
The categories of this paper are: dg-ga
33
The categories of this paper are: plasm-ph
9
The categories of this paper are: nlin
37
The categories of this paper are: supr-con
12
The categories of this paper are: nucl-th