Conformance checking artefacts through weighted partial MaxSAT | Publicación