Conformance checking artefacts through weighted partial MaxSAT.

Published in: Inf. Syst. (2023)

Keyphrases

upper bound
weighted sum
combinatorial optimization
branch and bound algorithm
partial information
data sets
weighted distance
database
real time
databases
neural network
case study
orders of magnitude