Conformance Checking with Uncertainty via SMT.

Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler

Browse the full BPM paper archive.