An efficient solver for weighted Max-SAT | Publicación