3 papers
cs.AI2026
Developing a Totally Unimodular Linear Program for Optimal Conformance Checking: When and Why It Complements A*
Izack Cohen
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…
cs.AI2026
Petri Net Induced Heuristic Search for Resource Constrained Scheduling
Ido Lublin, Dor Atzmon, Izack Cohen
We formulate the Resource-Constrained Project Scheduling Problem (RCPSP) as optimal search over the reachability graph of a Timed Transition Petri Net with Resources, using relativ…
cs.AI2023
Data-driven project planning: An integrated network learning and constraint relaxation approach in favor of scheduling
Izack Cohen
Our focus is on projects, i.e., business processes, which are emerging as the economic drivers of our times. Differently from day-to-day operational processes that do not require d…