Inference in MaxSAT and MinSAT | Publicación