Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A novel local search based on variable-focusing for random K-SAT   We introduce a new local search algorithm for satisfiability problems. Usual
approaches focus uniformly on unsatisfied clauses. The new method works by
picking uniformly random variables in unsatisfied clauses. A Variable-based
Focused Metropolis Search (V-FMS) is then applied to random 3-SAT. We show that
it is quite comparable in performance to the clause-based FMS. Consequences for
algorithmic design are discussed.

11
The categories of this paper are: hep-lat
35
The categories of this paper are: mtrl-th
12
The categories of this paper are: nucl-th
16
The categories of this paper are: stat
13
The categories of this paper are: quant-ph
36
The categories of this paper are: cmp-lg
32
The categories of this paper are: atom-ph
3
The categories of this paper are: physics
5
The categories of this paper are: gr-qc
34
The categories of this paper are: chem-ph
15
The categories of this paper are: nucl-ex
10
The categories of this paper are: q-bio
8
The categories of this paper are: hep-ex
14
The categories of this paper are: math-ph
30
The categories of this paper are: q-alg
37
The categories of this paper are: supr-con