Relativisation Provides Natural Separations for Resolution-Based Proof Systems
From MaRDI portal
Publication:3434690
DOI10.1007/11753728_17zbMath1185.03085OpenAlexW2155848600MaRDI QIDQ3434690
Publication date: 2 May 2007
Published in: Computer Science – Theory and Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11753728_17
Related Items
Strong ETH and resolution via games and the multiplicity of strategies, Relativization makes contradictions harder for resolution, Tight size-degree bounds for sums-of-squares proofs, Resolution Width and Cutting Plane Rank Are Incomparable