Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit   We address Partial MaxSAT (PMS) and Weighted PMS (WPMS), two practical
generalizations of the MaxSAT problem, and propose a local search algorithm
called BandMaxSAT, that applies a multi-armed bandit to guide the search
direction, for these problems. The bandit in our method is associated with all
the soft clauses in the input (W)PMS instance. Each arm corresponds to a soft
clause. The bandit model can help BandMaxSAT to select a good direction to
escape from local optima by selecting a soft clause to be satisfied in the
current step, that is, selecting an arm to be pulled. We further propose an
initialization method for (W)PMS that prioritizes both unit and binary clauses
when producing the initial solutions. Extensive experiments demonstrate that
BandMaxSAT significantly outperforms the state-of-the-art (W)PMS local search
algorithm SATLike3.0. Specifically, the number of instances in which BandMaxSAT
obtains better results is about twice that obtained by SATLike3.0. We further
combine BandMaxSAT with the complete solver TT-Open-WBO-Inc. The resulting
solver BandMaxSAT-c also outperforms some of the best state-of-the-art complete
(W)PMS solvers, including SATLike-c, Loandra and TT-Open-WBO-Inc.

17
The categories of this paper are: q-fin
33
The categories of this paper are: plasm-ph
0
The categories of this paper are: hep-ph
25
The categories of this paper are: patt-sol
3
The categories of this paper are: physics
6
The categories of this paper are: astro-ph
27
The categories of this paper are: comp-gas
9
The categories of this paper are: nlin
19
The categories of this paper are: eess
10
The categories of this paper are: q-bio
35
The categories of this paper are: mtrl-th
31
The categories of this paper are: ao-sci
11
The categories of this paper are: hep-lat
8
The categories of this paper are: hep-ex
13
The categories of this paper are: quant-ph
16
The categories of this paper are: stat