Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Algorithmic Meta-Theorems   Algorithmic meta-theorems are general algorithmic results applying to a whole
range of problems, rather than just to a single problem alone. They often have
a "logical" and a "structural" component, that is they are results of the form:
every computational problem that can be formalised in a given logic L can be
solved efficiently on every class C of structures satisfying certain
conditions. This paper gives a survey of algorithmic meta-theorems obtained in
recent years and the methods used to prove them. As many meta-theorems use
results from graph minor theory, we give a brief introduction to the theory
developed by Robertson and Seymour for their proof of the graph minor theorem
and state the main algorithmic consequences of this theory as far as they are
needed in the theory of algorithmic meta-theorems.

5
The categories of this paper are: gr-qc
18
The categories of this paper are: econ
6
The categories of this paper are: astro-ph
25
The categories of this paper are: patt-sol
20
The categories of this paper are: acc-phys
12
The categories of this paper are: nucl-th
14
The categories of this paper are: math-ph
23
The categories of this paper are: solv-int
26
The categories of this paper are: bayes-an
10
The categories of this paper are: q-bio
8
The categories of this paper are: hep-ex
34
The categories of this paper are: chem-ph
16
The categories of this paper are: stat
35
The categories of this paper are: mtrl-th
2
The categories of this paper are: math
32
The categories of this paper are: atom-ph