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
Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases - MaRDI portal

Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases (Q3587716)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases
scientific article

    Statements

    title
    Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases (English)
    0 references
    author
    Christoph Zengler
    0 references
    Wolfgang Küchlin
    0 references
    publication date
    10 September 2010
    0 references
    zbMATH Keywords
    Redlog
    0 references
    MiniSAT
    0 references
    describes a project that uses
    MiniSat
    0 references
    REDLOG
    0 references

    Identifiers

    zbMATH DE Number
    5783090
    0 references
    OpenAlex ID
    W1579470922
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3587716&oldid=35186678"
    Powered by MediaWiki