Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Comparison of PBO solvers in a dependency solving domain   Linux package managers have to deal with dependencies and conflicts of
packages required to be installed by the user. As an NP-complete problem, this
is a hard task to solve. In this context, several approaches have been pursued.
Apt-pbo is a package manager based on the apt project that encodes the
dependency solving problem as a pseudo-Boolean optimization (PBO) problem. This
paper compares different PBO solvers and their effectiveness on solving the
dependency solving problem.

2
The categories of this paper are: math
35
The categories of this paper are: mtrl-th
14
The categories of this paper are: math-ph
20
The categories of this paper are: acc-phys
10
The categories of this paper are: q-bio
8
The categories of this paper are: hep-ex
7
The categories of this paper are: hep-th
22
The categories of this paper are: chao-dyn
27
The categories of this paper are: comp-gas
26
The categories of this paper are: bayes-an
34
The categories of this paper are: chem-ph
31
The categories of this paper are: ao-sci
32
The categories of this paper are: atom-ph
4
The categories of this paper are: cond-mat
17
The categories of this paper are: q-fin
37
The categories of this paper are: supr-con