Cooperative parallel SAT local search with path relinking (Q2057122)

From MaRDI portal
Revision as of 11:41, 28 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Cooperative parallel SAT local search with path relinking
scientific article

    Statements

    title
    Cooperative parallel SAT local search with path relinking (English)
    0 references
    author
    Padraigh Jarvis
    0 references
    Alejandro Arbelaez
    0 references
    publication date
    8 December 2021
    0 references
    zbMATH DE Number
    7441125
    0 references
    zbMATH Keywords
    SAT
    0 references
    parallel local search
    0 references
    cites work
    BG-WalkSAT
    0 references
    describes a project that uses
    BG-WalkSAT
    0 references
    Paramils
    0 references
    UBCSAT
    0 references
    CCLS
    0 references
    CCEHC
    0 references
    ManySAT
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2057122&oldid=23203755"
    Powered by MediaWiki