A logical approach to efficient Max-SAT solving | Publicación