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
An Algorithm for SAT Without an Extraction Phase - MaRDI portal

An Algorithm for SAT Without an Extraction Phase (Q3618681)

From MaRDI portal
scientific article
Language Label Description Also known as
English
An Algorithm for SAT Without an Extraction Phase
scientific article

    Statements

    title
    An Algorithm for SAT Without an Extraction Phase (English)
    0 references
    author
    Pierluigi Frisco
    0 references
    Christiaan V. Henkel
    0 references
    Szabolcs Tengely
    0 references
    publication date
    2 April 2009
    0 references
    zbMATH Keywords
    satisfiability of Boolean expressions
    0 references
    cites work
    Q3147547
    0 references
    Q4198056
    0 references
    Q4737657
    0 references
    Q4737647
    0 references
    Q4298260
    0 references
    On Picture-Writing
    0 references
    Q4738307
    0 references
    Q4762311
    0 references

    Identifiers

    DOI
    10.1007/11753681_6
    0 references
    Mathematics Subject Classification ID
    68W05
    0 references
    68Q05
    0 references
    68Q10
    0 references
    zbMATH DE Number
    5539062
    0 references
    OpenAlex ID
    W2207358
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3618681&oldid=35101570"
    Powered by MediaWiki