Mathilde Boltenhagen, Thomas Chatain, Josep Carmona. Encoding Conformance Checking Artefacts in SAT. In Chiara Di Francescomarino, Remco M. Dijkman, Uwe Zdun, editors, Business Process Management Workshops - BPM 2019 International Workshops, Vienna, Austria, September 1-6, 2019, Revised Selected Papers. Volume 362 of Lecture Notes in Business Information Processing, pages 160-171, Springer, 2019. [doi]
Abstract is missing.