Optimized SAT encoding of conformance checking artefacts | Publicación