Optimized SAT encoding of conformance checking artefacts (Q2019685)

From MaRDI portal
Revision as of 20:27, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
scientific article
Language Label Description Also known as
English
Optimized SAT encoding of conformance checking artefacts
scientific article

    Statements

    title
    Optimized SAT encoding of conformance checking artefacts (English)
    0 references
    author
    Mathilde Boltenhagen
    0 references
    Thomas Chatain
    0 references
    Josep Carmona
    0 references
    published in
    Computing
    0 references
    publication date
    22 April 2021
    0 references
    zbMATH Keywords
    process mining
    0 references
    conformance checking
    0 references
    satisfiability
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68T20
    0 references
    68Q85
    0 references
    90B70
    0 references
    zbMATH DE Number
    7336266
    0 references
    OpenAlex ID
    W3042145815
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2019685&oldid=31756704"
    Powered by MediaWiki