Optimized SAT encoding of conformance checking artefacts

DOI10.1007/S00607-020-00831-8zbMath1473.68185OpenAlexW3042145815MaRDI QIDQ2019685

Thomas Chatain, Josep Carmona, Mathilde Boltenhagen

Publication date: 22 April 2021

Published in: Computing (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2117/331252

zbMATH Keywords

satisfiabilityprocess miningconformance checking

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Theory of organizations, manpower planning in operations research (90B70)

Related Items (1)

Aligning event logs to resource-constrained \(\nu \)-Petri nets

Uses Software

• PySAT

Cites Work

• PySAT: a Python toolkit for prototyping with SAT oracles
• The imprecisions of precision measures in process mining
• Anti-alignments in Conformance Checking – The Dark Side of Process Models
• Edit Distance Cannot Be Computed in Strongly Subquadratic Time (unless SETH is false)

This page was built for publication: Optimized SAT encoding of conformance checking artefacts