Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: SAT as a game   We propose a funny representation of SAT. While the primary interest is to
present propositional satisfiability in a playful way for pedagogical purposes,
it could also inspire new search heuristics.

10
The categories of this paper are: q-bio
36
The categories of this paper are: cmp-lg
5
The categories of this paper are: gr-qc
34
The categories of this paper are: chem-ph
4
The categories of this paper are: cond-mat
9
The categories of this paper are: nlin
35
The categories of this paper are: mtrl-th
37
The categories of this paper are: supr-con
21
The categories of this paper are: adap-org
23
The categories of this paper are: solv-int
28
The categories of this paper are: alg-geom
18
The categories of this paper are: econ
16
The categories of this paper are: stat
0
The categories of this paper are: hep-ph
25
The categories of this paper are: patt-sol
12
The categories of this paper are: nucl-th