Skip to Main content Skip to Navigation
Journal articles

Optimized SAT encoding of conformance checking artefacts

Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-03132554
Contributor : Thomas Chatain Connect in order to contact the contributor
Submitted on : Friday, February 5, 2021 - 11:11:27 AM
Last modification on : Tuesday, January 4, 2022 - 6:21:18 AM

Links full text

Identifiers

Citation

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

Share

Metrics

Les métriques sont temporairement indisponibles