Interpretable decision trees through MaxSAT | Publicación