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 1361471 - MaRDI portal

scientific article; zbMATH DE number 1361471

From MaRDI portal

Publication:4699289

Jump to:navigation, search

zbMath0976.03063MaRDI QIDQ4699289

Uwe Schoening

Publication date: 6 January 2002

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

zbMATH Keywords

Kolmogorov complexity exponential lower bound expander graphs length of resolution proof

Mathematics Subject Classification ID

Algorithmic information theory (Kolmogorov complexity, etc.) (68Q30) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Complexity of proofs (03F20)

Related Items (3)

Smaller superconcentrators of density 28 ⋮ Construction of expanders and superconcentrators using Kolmogorov complexity ⋮ Space bounds for resolution

This page was built for publication:

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