Developing a Totally Unimodular Linear Program for Optimal Conformance Checking: When and Why It Complements A*

ArXi:2605.26938v1 Announce Type: new Alignment-based conformance checking is the state-of-the-art approach for comparing observed process executions with normative process models. The standard exact solution relies on an A*-based heuristic search, which can exhibit exponential runtime in the presence of long traces or substantial deviations. We conduct an extensive empirical evaluation on than 2.1M conformance checking instances derived from real-world and synthetic benchmark datasets.