Optimized SAT encoding of conformance checking artefacts

Mathilde Boltenhagen; Thomas Chatain; Josep Carmona

doi:10.1007/s00607-020-00831-8

Journal Articles Computing Year : 2021

Optimized SAT encoding of conformance checking artefacts

(1, 2, 3) , (1, 4, 3) , (5)

1
2
3
4
5

Mathilde Boltenhagen

Function : Author

Modeling and Exploitation of Interaction and Concurrency

Centre National de la Recherche Scientifique

Laboratoire Méthodes Formelles

Thomas Chatain

Function : Author
PersonId : 745648
IdHAL : thomas-chatain
ORCID : 0000-0002-1470-5074
IdRef : 095210210

Modeling and Exploitation of Interaction and Concurrency

Ecole Normale Supérieure Paris-Saclay

Laboratoire Méthodes Formelles

Josep Carmona

Function : Author

Universitat Politècnica de Catalunya [Barcelona]

Domains

Computer Science [cs] Formal Languages and Automata Theory [cs.FL]

Thomas Chatain : Connect in order to contact the contributor

https://hal.inria.fr/hal-03132554

Submitted on : Friday, February 5, 2021-11:11:27 AM

Last modification on : Wednesday, March 15, 2023-8:56:17 AM

Dates and versions

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

Identifiers

HAL Id : hal-03132554 , version 1
DOI : 10.1007/s00607-020-00831-8

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

CNRS INRIA ENS-CACHAN CENTRALESUPELEC INRIA2 UNIV-PARIS-SACLAY ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF

39 View

0 Download

Optimized SAT encoding of conformance checking artefacts

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share