Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Islands for SAT   In this note we introduce the notion of islands for restricting local search.
We show how we can construct islands for CNF SAT problems, and how much search
space can be eliminated by restricting search to the island.

3
The categories of this paper are: physics
21
The categories of this paper are: adap-org
5
The categories of this paper are: gr-qc
20
The categories of this paper are: acc-phys
29
The categories of this paper are: funct-an
12
The categories of this paper are: nucl-th
35
The categories of this paper are: mtrl-th
34
The categories of this paper are: chem-ph
28
The categories of this paper are: alg-geom
36
The categories of this paper are: cmp-lg
18
The categories of this paper are: econ
7
The categories of this paper are: hep-th
27
The categories of this paper are: comp-gas
14
The categories of this paper are: math-ph
22
The categories of this paper are: chao-dyn
26
The categories of this paper are: bayes-an