Developing a Totally Unimodular Linear Program for Optimal Conformance Checking: When and Why It Complements A
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