Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Ackermann Encoding, Bisimulations, and OBDDs   We propose an alternative way to represent graphs via OBDDs based on the
observation that a partition of the graph nodes allows sharing among the
employed OBDDs. In the second part of the paper we present a method to compute
at the same time the quotient w.r.t. the maximum bisimulation and the OBDD
representation of a given graph. The proposed computation is based on an
OBDD-rewriting of the notion of Ackermann encoding of hereditarily finite sets
into natural numbers.

10
The categories of this paper are: q-bio
29
The categories of this paper are: funct-an
18
The categories of this paper are: econ
22
The categories of this paper are: chao-dyn
30
The categories of this paper are: q-alg
27
The categories of this paper are: comp-gas
33
The categories of this paper are: plasm-ph
34
The categories of this paper are: chem-ph
23
The categories of this paper are: solv-int
9
The categories of this paper are: nlin
16
The categories of this paper are: stat
32
The categories of this paper are: atom-ph
31
The categories of this paper are: ao-sci
26
The categories of this paper are: bayes-an
12
The categories of this paper are: nucl-th
28
The categories of this paper are: alg-geom