Reformulation Based MaxSAT Robustness | Publicación