Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Logical Approach to Efficient Max-SAT solving   Weighted Max-SAT is the optimization version of SAT and many important
problems can be naturally encoded as such. Solving weighted Max-SAT is an
important problem from both a theoretical and a practical point of view. In
recent years, there has been considerable interest in finding efficient solving
techniques. Most of this work focus on the computation of good quality lower
bounds to be used within a branch and bound DPLL-like algorithm. Most often,
these lower bounds are described in a procedural way. Because of that, it is
difficult to realize the {\em logic} that is behind.
  In this paper we introduce an original framework for Max-SAT that stresses
the parallelism with classical SAT. Then, we extend the two basic SAT solving
techniques: {\em search} and {\em inference}. We show that many algorithmic
{\em tricks} used in state-of-the-art Max-SAT solvers are easily expressable in
{\em logic} terms with our framework in a unified manner.
  Besides, we introduce an original search algorithm that performs a restricted
amount of {\em weighted resolution} at each visited node. We empirically
compare our algorithm with a variety of solving alternatives on several
benchmarks. Our experiments, which constitute to the best of our knowledge the
most comprehensive Max-sat evaluation ever reported, show that our algorithm is
generally orders of magnitude faster than any competitor.

26
The categories of this paper are: bayes-an
11
The categories of this paper are: hep-lat
23
The categories of this paper are: solv-int
8
The categories of this paper are: hep-ex
5
The categories of this paper are: gr-qc
4
The categories of this paper are: cond-mat
28
The categories of this paper are: alg-geom
22
The categories of this paper are: chao-dyn
14
The categories of this paper are: math-ph
24
The categories of this paper are: dg-ga
9
The categories of this paper are: nlin
6
The categories of this paper are: astro-ph
16
The categories of this paper are: stat
36
The categories of this paper are: cmp-lg
31
The categories of this paper are: ao-sci
34
The categories of this paper are: chem-ph