Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Distributed cube and conquer with Paracooba - MaRDI portal

Distributed cube and conquer with Paracooba (Q2661340)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Distributed cube and conquer with Paracooba
scientific article

    Statements

    title
    Distributed cube and conquer with Paracooba (English)
    0 references
    author
    Maximilian Heisinger
    0 references
    Mathias Fleury
    0 references
    Armin Biere
    0 references
    publication date
    7 April 2021
    0 references
    describes a project that uses
    HordeSat
    0 references
    Syrup
    0 references
    ManySAT
    0 references
    Plingeling
    0 references
    CryptoMiniSat
    0 references
    CaDiCaL
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q25
    0 references
    68R07
    0 references
    68T20
    0 references
    zbMATH DE Number
    7331016
    0 references
    OpenAlex ID
    W3038672651
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2661340&oldid=32224244"
    Powered by MediaWiki