Partial MaxSAT Computation of Conformance Checking Artefacts | IEEE Conference Publication | IEEE Xplore