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
Hard examples for bounded depth frege - MaRDI portal

Hard examples for bounded depth frege

From MaRDI portal

Publication:3579189

Jump to:navigation, search

DOI10.1145/509907.509988zbMath1192.03041OpenAlexW2102977254MaRDI QIDQ3579189

Eli Ben-Sasson

Publication date: 5 August 2010

Published in: Proceedings of the thiry-fourth annual ACM symposium on Theory of computing (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Complexity of proofs (03F20)

Related Items (3)

Proof Complexity Meets Algebra ⋮ Propositional proof complexity ⋮ Satisfiable Tseitin Formulas Are Hard for Nondeterministic Read-Once Branching Programs.

This page was built for publication: Hard examples for bounded depth frege

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