Reformulation based MaxSAT robustness | Publicación