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 of the smallest binary program - MaRDI portal

Satisfiability of the smallest binary program (Q2366070)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Satisfiability of the smallest binary program
scientific article

    Statements

    title
    Satisfiability of the smallest binary program (English)
    0 references
    author
    Philipp Hanschke
    0 references
    Jörg Würtz
    0 references
    publication date
    29 June 1993
    0 references
    zbMATH DE Number
    223223
    0 references
    zbMATH Keywords
    theory of computation
    0 references
    smallest binary program
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2366070&oldid=34107205"
    Powered by MediaWiki