Possibly Related Publications

The following publications are possibly variants of this publication:

• An Exponential Separation between Regular and General ResolutionMichael Alekhnovich, Jan Johannsen, Toniann Pitassi, Alasdair Urquhart. toc, 3(1):81-102, 2007. [doi]
• An exponential separation between regular and general resolutionMichael Alekhnovich, Jan Johannsen, Toniann Pitassi, Alasdair Urquhart. stoc 2002: 448-456 [doi]
• Simplified and Improved Separations Between Regular and General Resolution by LiftingMarc Vinyals, Jan Elffers, Jan Johannsen, Jakob Nordström. sat 2020: 182-200 [doi]
• Regular and General Resolution: An Improved SeparationAlasdair Urquhart. sat 2008: 277-290 [doi]
• A Near-Optimal Separation of Regular and General ResolutionAlasdair Urquhart. SICOMP, 40(1):107-121, 2011. [doi]
• Exponential Separations between Restricted Resolution and Cutting Planes Proof SystemsMaria Luisa Bonet, Juan Luis Esteban, Nicola Galesi, Jan Johannsen. eccc, 5(35), 1998. [doi]
• Exponential Separations between Restricted Resolution and Cutting Planes Proof SystemsMaria Luisa Bonet, Juan Luis Esteban, Nicola Galesi, Jan Johannsen. focs 1998: 638-647 [doi]