Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The Multi-engine ASP Solver ME-ASP: Progress Report   MEASP is a multi-engine solver for ground ASP programs. It exploits algorithm
selection techniques based on classification to select one among a set of
out-of-the-box heterogeneous ASP solvers used as black-box engines. In this
paper we report on (i) a new optimized implementation of MEASP; and (ii) an
attempt of applying algorithm selection to non-ground programs. An experimental
analysis reported in the paper shows that (i) the new implementation of \measp
is substantially faster than the previous version; and (ii) the multi-engine
recipe can be applied to the evaluation of non-ground programs with some
benefits.

33
The categories of this paper are: plasm-ph
34
The categories of this paper are: chem-ph
6
The categories of this paper are: astro-ph
16
The categories of this paper are: stat
28
The categories of this paper are: alg-geom
25
The categories of this paper are: patt-sol
26
The categories of this paper are: bayes-an
20
The categories of this paper are: acc-phys
29
The categories of this paper are: funct-an
8
The categories of this paper are: hep-ex
37
The categories of this paper are: supr-con
3
The categories of this paper are: physics
12
The categories of this paper are: nucl-th
27
The categories of this paper are: comp-gas
9
The categories of this paper are: nlin
15
The categories of this paper are: nucl-ex