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

Read full text
Authors: Izack Cohen
Cited by: 0

Fields of Study & Subjects

Formal Methods in Verification Complexity and Algorithms in Graphs Logic Reasoning and Knowledge

Publication details

Journal / source
SSRN Electronic Journal
Publication date
1 January 2026
Document type
Preprint