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
Strong ETH and Resolution via Games and the Multiplicity of Strategies. - MaRDI portal

Strong ETH and Resolution via Games and the Multiplicity of Strategies.

From MaRDI portal

Publication:5363779

Jump to:navigation, search

DOI10.4230/LIPIcs.IPEC.2015.248zbMath1378.03042OpenAlexW2275373716MaRDI QIDQ5363779

Navid Talebanfard, Ilario Bonacina

Publication date: 29 September 2017

Full work available at URL: https://doi.org/10.4230/LIPIcs.IPEC.2015.248

zbMATH Keywords

resolution proof systems strong exponential time hypothesis

Mathematics Subject Classification ID

Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Complexity of proofs (03F20)

This page was built for publication: Strong ETH and Resolution via Games and the Multiplicity of Strategies.

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