Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Classification of OBDD size for monotone 2-CNFs   We introduce a new graph parameter called linear upper maximum induced
matching width \textsc{lu-mim width}, denoted for a graph $G$ by $lu(G)$. We
prove that the smallest size of the \textsc{obdd} for $\varphi$, the monotone
2-\textsc{cnf} corresponding to $G$, is sandwiched between $2^{lu(G)}$ and
$n^{O(lu(G))}$. The upper bound is based on a combinatorial statement that
might be of an independent interest. We show that the bounds in terms of this
parameter are best possible.

23
The categories of this paper are: solv-int
5
The categories of this paper are: gr-qc
35
The categories of this paper are: mtrl-th
25
The categories of this paper are: patt-sol
29
The categories of this paper are: funct-an
28
The categories of this paper are: alg-geom
6
The categories of this paper are: astro-ph
22
The categories of this paper are: chao-dyn
4
The categories of this paper are: cond-mat
20
The categories of this paper are: acc-phys
3
The categories of this paper are: physics
26
The categories of this paper are: bayes-an
0
The categories of this paper are: hep-ph
7
The categories of this paper are: hep-th
17
The categories of this paper are: q-fin
8
The categories of this paper are: hep-ex