Parallel MUS Extraction (Q5326458)

From MaRDI portal
scientific article; zbMATH DE number 6195192
Language Label Description Also known as
English
Parallel MUS Extraction
scientific article; zbMATH DE number 6195192

    Statements

    title
    Parallel MUS Extraction (English)
    0 references
    author
    Anton Belov
    0 references
    Norbert Manthey
    0 references
    João P. Marques-Silva
    0 references
    publication date
    5 August 2013
    0 references
    zbMATH DE Number
    6195192
    0 references
    describes a project that uses
    ManySAT
    0 references
    PicoSAT
    0 references
    MUSer2
    0 references
    OpenAlex ID
    W139318671
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5326458&oldid=31917908"
    Powered by MediaWiki