Article Dans Une Revue
Computing
Année : 2021
Thomas Chatain : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03132554
Soumis le : vendredi 5 février 2021-11:11:27
Dernière modification le : mardi 9 avril 2024-08:56:04
Citer
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
Consultations
0
Téléchargements