PulseAugur
EN
LIVE 13:28:15

New Linear Program Method Enhances Process Conformance Checking Speed

Researchers have developed a new method for process conformance checking by reformulating it as a totally unimodular linear program (LP). This LP approach offers significant speedups for longer process traces with deviations, complementing the existing A*-based heuristic search which performs better on shorter, well-conforming traces. An extensive evaluation of over 2.1 million instances showed that combining both methods can achieve average runtime savings of 38.6% with high selection accuracy. AI

IMPACT Introduces a more efficient method for process conformance checking, potentially improving the analysis of complex operational data.

RANK_REASON The cluster contains an academic paper detailing a new algorithmic approach to a specific problem in computer science. [lever_c_demoted from research: ic=2 ai=0.4]

Read on arXiv cs.AI →

AI-generated summary · Google Gemini · from 2 sources. How we write summaries →

New Linear Program Method Enhances Process Conformance Checking Speed

COVERAGE [2]

  1. arXiv cs.AI TIER_1 English(EN) · Izack Cohen ·

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

    arXiv:2605.26938v1 Announce Type: new Abstract: 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 exp…

  2. arXiv cs.AI TIER_1 English(EN) · Izack Cohen ·

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

    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 …