Merkliste 
 1 Ergebnisse 
 
1

Data-Aware Declarative Process Mining with SAT:

Maggi, Fabrizio Maria ; Marrella, Andrea ; Patrizi, Fabio.
ACM Transactions on Intelligent Systems and Technology.  14 (2023)  4 - p. 1-26 , 2023