A Conditional Superpolynomial Lower Bound for Extended Resolution
From MaRDI portal
Publication:4910493
DOI10.1007/978-3-642-37064-9_49zbMath1377.03052OpenAlexW57692053MaRDI QIDQ4910493
Publication date: 18 March 2013
Published in: Language and Automata Theory and Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-37064-9_49
Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Complexity of proofs (03F20)
This page was built for publication: A Conditional Superpolynomial Lower Bound for Extended Resolution
