Optimized SAT encoding of conformance checking artefacts
Crossref DOI link: https://doi.org/10.1007/s00607-020-00831-8
Published Online: 2020-07-08
Published Print: 2021-01
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Boltenhagen, Mathilde
Chatain, Thomas
Carmona, Josep http://orcid.org/0000-0001-9656-254X
Funding for this research was provided by:
Ministerio de Economía, Industria y Competitividad, Gobierno de España (TIN2017-86727-C2-1-R)
Text and Data Mining valid from 2020-07-08
Version of Record valid from 2020-07-08
Article History
Received: 1 December 2019
Accepted: 30 June 2020
First Online: 8 July 2020