Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On Improving Local Search for Unsatisfiability   Stochastic local search (SLS) has been an active field of research in the
last few years, with new techniques and procedures being developed at an
astonishing rate. SLS has been traditionally associated with satisfiability
solving, that is, finding a solution for a given problem instance, as its
intrinsic nature does not address unsatisfiable problems. Unsatisfiable
instances were therefore commonly solved using backtrack search solvers. For
this reason, in the late 90s Selman, Kautz and McAllester proposed a challenge
to use local search instead to prove unsatisfiability. More recently, two SLS
solvers - Ranger and Gunsat - have been developed, which are able to prove
unsatisfiability albeit being SLS solvers. In this paper, we first compare
Ranger with Gunsat and then propose to improve Ranger performance using some of
Gunsat's techniques, namely unit propagation look-ahead and extended
resolution.

27
The categories of this paper are: comp-gas
0
The categories of this paper are: hep-ph
15
The categories of this paper are: nucl-ex
12
The categories of this paper are: nucl-th
19
The categories of this paper are: eess
24
The categories of this paper are: dg-ga
34
The categories of this paper are: chem-ph
36
The categories of this paper are: cmp-lg
11
The categories of this paper are: hep-lat
30
The categories of this paper are: q-alg
23
The categories of this paper are: solv-int
13
The categories of this paper are: quant-ph
18
The categories of this paper are: econ
26
The categories of this paper are: bayes-an
14
The categories of this paper are: math-ph
5
The categories of this paper are: gr-qc