SMT Techniques for Data-Aware Process Mining
Crossref DOI link: https://doi.org/10.1007/s13218-025-00890-z
Published Online: 2025-04-29
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Gianola, Alessandro
Montali, Marco https://orcid.org/0000-0002-8021-3430
Winkler, Sarah
Funding for this research was provided by:
Ministero dell’Università e della Ricerca (B87G22000450001)
Libera Università di Bolzano
Text and Data Mining valid from 2025-04-29
Version of Record valid from 2025-04-29
Article History
Received: 9 December 2023
Accepted: 26 March 2025
First Online: 29 April 2025