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
Test Pattern Generation using Boolean Proof Engines - MaRDI portal

Test Pattern Generation using Boolean Proof Engines (Q3631306)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Test Pattern Generation using Boolean Proof Engines
scientific article

    Statements

    title
    Test Pattern Generation using Boolean Proof Engines (English)
    0 references
    author
    Rolf Drechsler
    0 references
    Stephan Eggersglüß
    0 references
    Goerschwin Fey
    0 references
    D. Tille
    0 references
    publication date
    5 June 2009
    0 references
    zbMATH Keywords
    Boolean Satisfiability
    0 references
    describes a project that uses
    SATIRE
    0 references
    MiniSat
    0 references
    Chaff
    0 references
    BerkMin
    0 references
    HANNIBAL
    0 references
    HITEC
    0 references
    SOCRATES
    0 references
    PASSAT
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68M99
    0 references
    68-02
    0 references
    68U07
    0 references
    68T20
    0 references
    zbMATH DE Number
    5562403
    0 references
    Wikidata QID
    Q59242694
    0 references
    OpenAlex ID
    W4213132743
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3631306&oldid=31977358"
    Powered by MediaWiki