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
On CNF Encodings of Decision Diagrams - MaRDI portal

On CNF Encodings of Decision Diagrams (Q2815090)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On CNF Encodings of Decision Diagrams
scientific article

    Statements

    title
    On CNF Encodings of Decision Diagrams (English)
    0 references
    author
    Ignasi Abío
    0 references
    Graeme Gange
    0 references
    Peter J. Stuckey
    0 references
    publication date
    27 June 2016
    0 references

    Identifiers

    zbMATH DE Number
    6598652
    0 references
    OpenAlex ID
    W2461501408
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2815090&oldid=32793382"
    Powered by MediaWiki