No label defined (Q3181645)

From MaRDI portal
scientific article
Language Label Description Also known as
English
No label defined
scientific article

    Statements

    author
    Luís Gil
    0 references
    Paulo Flores
    0 references
    L. Miguel Silveira
    0 references
    publication date
    12 October 2009
    0 references
    zbMATH DE Number
    5613972
    0 references
    zbMATH Keywords
    parallel computing
    0 references
    SAT-solver
    0 references
    satisfiability
    0 references
    message passing interface
    0 references
    describes a project that uses
    PMSat
    0 references
    MiniSat
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3181645&oldid=27557646"
    Powered by MediaWiki