Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Approximating minimum representations of key Horn functions   Horn functions form a subclass of Boolean functions and appear in many
different areas of computer science and mathematics as a general tool to
describe implications and dependencies. Finding minimum sized representations
for such functions with respect to most commonly used measures is a
computationally hard problem that remains hard even for the important subclass
of key Horn functions. In this paper we provide logarithmic factor
approximation algorithms for key Horn functions with respect to all measures
studied in the literature for which the problem is known to be hard.

14
The categories of this paper are: math-ph
6
The categories of this paper are: astro-ph
17
The categories of this paper are: q-fin
13
The categories of this paper are: quant-ph
3
The categories of this paper are: physics
33
The categories of this paper are: plasm-ph
28
The categories of this paper are: alg-geom
23
The categories of this paper are: solv-int
25
The categories of this paper are: patt-sol
37
The categories of this paper are: supr-con
29
The categories of this paper are: funct-an
18
The categories of this paper are: econ
4
The categories of this paper are: cond-mat
15
The categories of this paper are: nucl-ex
16
The categories of this paper are: stat
10
The categories of this paper are: q-bio