Exponential Separations between Restricted Resolution and Cutting Planes Proof Systems.

Maria Luisa Bonet, Juan Luis Esteban, Nicola Galesi, Jan Johannsen

Browse the full FOCS paper archive.