import>Unknown user
No edit summary
 
m 1 revision imported
(No difference)

Revision as of 10:35, 28 May 2026


Title Data-Aware Declarative Process Mining with SAT
DOI https://doi.org/10.1145/3600106
Raw Affiliation Free University of Bozen-Bolzano, Italy
Clean Page Target Free University of Bozen-Bolzano, Italy