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
Satisfiability with index dependency - MaRDI portal

Satisfiability with index dependency (Q2637283)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Satisfiability with index dependency
scientific article

    Statements

    title
    Satisfiability with index dependency (English)
    0 references
    author
    Hongyu Liang
    0 references
    Jing (Selena) He
    0 references
    publication date
    11 February 2014
    0 references
    zbMATH Keywords
    Boolean satisfiability problem
    0 references
    index-dependency
    0 references
    index-width
    0 references
    dichotomy
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q25
    0 references
    68Q17
    0 references
    68Q15
    0 references
    zbMATH DE Number
    6256697
    0 references
    OpenAlex ID
    W2043031242
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2637283&oldid=35372703"
    Powered by MediaWiki