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
Bridging constraint satisfaction and Boolean satisfiability - MaRDI portal

Bridging constraint satisfaction and Boolean satisfiability (Q2634500)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Bridging constraint satisfaction and Boolean satisfiability
scientific article

    Statements

    title
    Bridging constraint satisfaction and Boolean satisfiability (English)
    0 references
    author
    Justyna Petke
    0 references
    publication date
    9 February 2016
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68-02
    0 references
    03B70
    0 references
    68Q25
    0 references
    68T15
    0 references
    68T20
    0 references
    90C09
    0 references
    zbMATH DE Number
    6540568
    0 references
    OpenAlex ID
    W2395113865
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2634500&oldid=32664603"
    Powered by MediaWiki