A resolution calculus for MinSAT | Publicación