A Logical Approach to Efficient Max-SAT solving

Javier Larrosa, Federico Heras, Simon de Givry

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 theor…