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
Learning Rate Based Branching Heuristic for SAT Solvers - MaRDI portal

Learning Rate Based Branching Heuristic for SAT Solvers (Q2818006)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Learning Rate Based Branching Heuristic for SAT Solvers
scientific article

    Statements

    title
    Learning Rate Based Branching Heuristic for SAT Solvers (English)
    0 references
    author
    Jia Hui Liang
    0 references
    Vijay Ganesh
    0 references
    Pascal Poupart
    0 references
    Krzysztof Czarnecki
    0 references
    publication date
    5 September 2016
    0 references
    describes a project that uses
    Glucose
    0 references
    HaifaSat
    0 references
    BerkMin
    0 references
    Chaff
    0 references
    StarExec
    0 references
    Siege
    0 references
    Plingeling
    0 references
    PrecoSAT
    0 references
    CryptoMiniSat
    0 references
    MiniSat
    0 references
    Lingeling
    0 references
    STP
    0 references

    Identifiers

    zbMATH DE Number
    6623509
    0 references
    OpenAlex ID
    W2498324117
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2818006&oldid=36271474"
    Powered by MediaWiki