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
Lower Bounds on OBDD Proofs with Several Orders - MaRDI portal

Lower Bounds on OBDD Proofs with Several Orders

From MaRDI portal

Publication:5056355

Jump to:navigation, search

DOI10.1145/3468855zbMath1505.03127OpenAlexW3196881647WikidataQ113772839 ScholiaQ113772839MaRDI QIDQ5056355

Dmitry Itsykson, Dmitry Sokolov, Artur Riazanov, Alexander Knop, Samuel R. Buss

Publication date: 8 December 2022

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3468855

zbMATH Keywords

lower bounds proof system proof complexity OBDD Tseitin formulas multipartity communication complexity projection rule reordering rule

Mathematics Subject Classification ID

Complexity of proofs (03F20) Communication complexity, information complexity (68Q11)

This page was built for publication: Lower Bounds on OBDD Proofs with Several Orders

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