Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Ordered {AND, OR}-Decomposition and Binary-Decision Diagram   In the context of knowledge compilation (KC), we study the effect of
augmenting Ordered Binary Decision Diagrams (OBDD) with two kinds of
decomposition nodes, i.e., AND-vertices and OR-vertices which denote
conjunctive and disjunctive decomposition of propositional knowledge bases,
respectively. The resulting knowledge compilation language is called Ordered
{AND, OR}-decomposition and binary-Decision Diagram (OAODD). Roughly speaking,
several previous languages can be seen as special types of OAODD, including
OBDD, AND/OR Binary Decision Diagram (AOBDD), OBDD with implied Literals
(OBDD-L), Multi-Level Decomposition Diagrams (MLDD). On the one hand, we
propose some families of algorithms which can convert some fragments of OAODD
into others; on the other hand, we present a rich set of polynomial-time
algorithms that perform logical operations. According to these algorithms, as
well as theoretical analysis, we characterize the space efficiency and
tractability of OAODD and its some fragments with respect to the evaluating
criteria in the KC map. Finally, we present a compilation algorithm which can
convert formulas in negative normal form into OAODD.

20
The categories of this paper are: acc-phys
9
The categories of this paper are: nlin
29
The categories of this paper are: funct-an
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
37
The categories of this paper are: supr-con
5
The categories of this paper are: gr-qc
36
The categories of this paper are: cmp-lg
19
The categories of this paper are: eess
27
The categories of this paper are: comp-gas
26
The categories of this paper are: bayes-an
12
The categories of this paper are: nucl-th
11
The categories of this paper are: hep-lat
34
The categories of this paper are: chem-ph