MinSAT versus MaxSAT for Optimization Problems | Publicación