Counting minimal unsatisfiable subsets (Q832272)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Counting minimal unsatisfiable subsets
scientific article

    Statements

    title
    Counting minimal unsatisfiable subsets (English)
    0 references
    author
    Jaroslav Bendík
    0 references
    Kuldeep S. Meel
    0 references
    publication date
    25 March 2022
    0 references
    zbMATH DE Number
    7498186
    0 references
    describes a project that uses
    sharpSAT
    0 references
    GANAK
    0 references
    BEACON
    0 references
    CEGAR
    0 references
    AMUSE
    0 references
    MUSer2
    0 references
    OpenAlex ID
    W3184610995
    0 references
    cites work
    Q3194802
    0 references
    Q4636600
    0 references
    Q5226731
    0 references
    Q3455621
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q832272&oldid=36783117"
    Powered by MediaWiki