Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Aspartix-V21   In this solver description we present ASPARTIX-V, in its 2021 edition, which
participates in the International Competition on Computational Models of
Argumentation (ICCMA) 2021. ASPARTIX-V is capable of solving all classical
(static) reasoning tasks part of ICCMA'21 and extends the ASPARTIX system suite
by incorporation of recent ASP language constructs (e.g. conditional literals),
domain heuristics within ASP, and multi-shot methods. In this light ASPARTIX-V
deviates from the traditional focus of ASPARTIX on monolithic approaches (i.e.,
one-shot solving via a single ASP encoding) to further enhance performance.

7
The categories of this paper are: hep-th
14
The categories of this paper are: math-ph
34
The categories of this paper are: chem-ph
8
The categories of this paper are: hep-ex
16
The categories of this paper are: stat
13
The categories of this paper are: quant-ph
28
The categories of this paper are: alg-geom
4
The categories of this paper are: cond-mat
2
The categories of this paper are: math
12
The categories of this paper are: nucl-th
33
The categories of this paper are: plasm-ph
17
The categories of this paper are: q-fin
9
The categories of this paper are: nlin
24
The categories of this paper are: dg-ga
0
The categories of this paper are: hep-ph
10
The categories of this paper are: q-bio