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
The state of SAT - MaRDI portal

The state of SAT (Q2643296)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The state of SAT
scientific article

    Statements

    title
    The state of SAT (English)
    0 references
    author
    Bart Selman
    0 references
    Henry A. Kautz
    0 references
    publication date
    23 August 2007
    0 references
    zbMATH DE Number
    5182370
    0 references
    zbMATH Keywords
    Boolean satisfiability
    0 references
    complexity
    0 references
    challenge problems
    0 references
    describes a project that uses
    QingTing1
    0 references
    UnitWalk
    0 references
    Walksat
    0 references
    PBS
    0 references
    DIMACS
    0 references
    Velev SAT Benchmarks
    0 references
    SATO
    0 references
    PBLib
    0 references
    OpenAlex ID
    W2081692349
    0 references
    cites work
    Q3624187
    0 references
    Q4473048
    0 references
    Q5715680
    0 references
    Q4553262
    0 references
    Q4475647
    0 references
    Q4375756
    0 references
    Q4386971
    0 references
    Q2741540
    0 references
    Q5687246
    0 references
    Q4484662
    0 references
    Q5687271
    0 references
    Q4536728
    0 references
    Q2749859
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2643296&oldid=34986212"
    Powered by MediaWiki