Journal Articles
Computing
Year : 2021
Thomas Chatain : Connect in order to contact the contributor
https://inria.hal.science/hal-03132554
Submitted on : Friday, February 5, 2021-11:11:27 AM
Last modification on : Tuesday, April 9, 2024-8:56:04 AM
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⟩
Collections
47
View
0
Download