AINeutralarXiv – CS AI · 15h ago5/10
🧠
Developing a Totally Unimodular Linear Program for Optimal Conformance Checking: When and Why It Complements A*
Researchers propose a totally unimodular linear programming approach to conformance checking in process mining as an alternative to A* search algorithms. Testing on 2.1 million instances reveals complementary performance characteristics, with the LP method achieving 38.6% average runtime improvements for longer traces with deviations while A* excels on short, well-conforming traces.