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
Using Community Structure to Detect Relevant Learnt Clauses - MaRDI portal

Using Community Structure to Detect Relevant Learnt Clauses (Q3453229)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Using Community Structure to Detect Relevant Learnt Clauses
scientific article

    Statements

    title
    Using Community Structure to Detect Relevant Learnt Clauses (English)
    0 references
    author
    Carlos Ansótegui
    0 references
    Jesús Giráldez-Cru
    0 references
    Jordi Levy
    0 references
    Laurent Simon
    0 references
    publication date
    20 November 2015
    0 references
    describes a project that uses
    Lingeling
    0 references
    Chaff
    0 references
    MiniSat
    0 references

    Identifiers

    zbMATH DE Number
    6512577
    0 references
    OpenAlex ID
    W2098993696
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3453229&oldid=36214765"
    Powered by MediaWiki