Optimized SAT encoding of conformance checking artefacts - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Computing Year : 2021

Dates and versions

hal-03132554 , version 1 (05-02-2021)

Identifiers

Cite

Mathilde Boltenhagen, Thomas Chatain, Josep Carmona. Optimized SAT encoding of conformance checking artefacts. Computing, 2021, 103 (1), pp.29-50. ⟨10.1007/s00607-020-00831-8⟩. ⟨hal-03132554⟩
47 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More