TY - RPRT TI - Developing a Totally Unimodular Linear Program for Optimal Conformance Checking: When and Why It Complements A* AU - Izack Cohen PY - 2026 DO - 10.1016/j.eswa.2026.133021 UR - https://arxiv.org/abs/2605.26938 ID - 2605.26938 ER -