Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Knowledge compilation languages as proof systems   In this paper, we study proof systems in the sense of Cook-Reckhow for
problems that are higher in the polynomial hierarchy than coNP, in particular,
#SAT and maxSAT. We start by explaining how the notion of Cook-Reckhow proof
systems can be apply to these problems and show how one can twist existing
languages in knowledge compilation such as decision DNNF so that they can be
seen as proof systems for problems such as #SAT and maxSAT.

2
The categories of this paper are: math
37
The categories of this paper are: supr-con
21
The categories of this paper are: adap-org
24
The categories of this paper are: dg-ga
9
The categories of this paper are: nlin
16
The categories of this paper are: stat
25
The categories of this paper are: patt-sol
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
18
The categories of this paper are: econ
5
The categories of this paper are: gr-qc
28
The categories of this paper are: alg-geom
4
The categories of this paper are: cond-mat
19
The categories of this paper are: eess
11
The categories of this paper are: hep-lat