An improved simulated annealing algorithm for process mining | IEEE Conference Publication | IEEE Xplore