Resolution for Max-SAT | Publicación