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
Finding Small OBDDs for Incompletely Specified Truth Tables Is Hard - MaRDI portal

Finding Small OBDDs for Incompletely Specified Truth Tables Is Hard (Q3591326)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Finding Small OBDDs for Incompletely Specified Truth Tables Is Hard
scientific article

    Statements

    Finding Small OBDDs for Incompletely Specified Truth Tables Is Hard (English)
    0 references
    0 references
    0 references
    10 September 2007
    0 references

    Identifiers