Cooperative parallel SAT local search with path relinking (Q2057122)

From MaRDI portal
Revision as of 06:42, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
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=26684632"
    Powered by MediaWiki