Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Improving abcdSAT by At-Least-One Recently Used Clause Management
  Strategy   We improve further the 2015 version of abcdSAT by various heuristics such as
at-least-one recently used strategy, learnt clause database approximation
reduction etc. Based on the requirement of different tracks at the SAT
Competition 2016, we develop three versions of abcdSAT: drup, inc and lim,
which participate in the competition of main (agile), incremental library and
no-limit track, respectively.

34
The categories of this paper are: chem-ph
26
The categories of this paper are: bayes-an
29
The categories of this paper are: funct-an
17
The categories of this paper are: q-fin
2
The categories of this paper are: math
36
The categories of this paper are: cmp-lg
23
The categories of this paper are: solv-int
12
The categories of this paper are: nucl-th
31
The categories of this paper are: ao-sci
19
The categories of this paper are: eess
25
The categories of this paper are: patt-sol
33
The categories of this paper are: plasm-ph
10
The categories of this paper are: q-bio
18
The categories of this paper are: econ
7
The categories of this paper are: hep-th
35
The categories of this paper are: mtrl-th