Exploiting Cycle Structures in Max-SAT | Publicación