Encoding Conformance Checking Artefacts in SAT.
Mathilde Boltenhagen, Thomas Chatain, Josep Carmona
VenueABPM
Year2019
ProceedingsBusiness Process Management Workshops
DBLP recordconf/bpm/BoltenhagenCC19 ↗
Browse the full BPM paper archive.
Mathilde Boltenhagen, Thomas Chatain, Josep Carmona
Browse the full BPM paper archive.