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
scientific article; zbMATH DE number 1088264 - MaRDI portal

scientific article; zbMATH DE number 1088264

From MaRDI portal

Publication:4364580

Jump to:navigation, search

zbMath0898.94020MaRDI QIDQ4364580

Mitsushi Nouzoe, Shuzo Yajima, Yasuhiko Takenaga

Publication date: 4 November 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

ordered binary decision diagrams lower bound Boolean function threshold functions graph representation

Mathematics Subject Classification ID

Computer science aspects of computer-aided design (68U07) Boolean functions (06E30) Logic programming (68N17)

Related Items (3)

On the OBDD Complexity of Threshold Functions and the Variable Ordering Problem ⋮ On the size of (generalized) OBDDs for threshold functions ⋮ Restrictive Acceptance Suffices for Equivalence Problems

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4364580&oldid=18360653"