A Complete Resolution Calculus for Signed Max-SAT | Publicación