Instruct: Identify the main and secondary category of Arxiv papers based on the titles
Query: Improved Static Analysis of Parameterised Boolean Equation Systems using
  Control Flow Reconstruction
22
The categories of this paper are: chao-dyn
33
The categories of this paper are: plasm-ph
3
The categories of this paper are: physics
20
The categories of this paper are: acc-phys
19
The categories of this paper are: eess
6
The categories of this paper are: astro-ph
27
The categories of this paper are: comp-gas
8
The categories of this paper are: hep-ex
18
The categories of this paper are: econ
37
The categories of this paper are: supr-con
0
The categories of this paper are: hep-ph
4
The categories of this paper are: cond-mat
25
The categories of this paper are: patt-sol
5
The categories of this paper are: gr-qc
14
The categories of this paper are: math-ph
16
The categories of this paper are: stat