External Links

    Journal: Electronic Colloquium on Computational Complexity (ECCC)

    Volume 5, Issue 35

    0 -- 0Maria Luisa Bonet, Juan Luis Esteban, Nicola Galesi, Jan Johannsen. Exponential Separations between Restricted Resolution and Cutting Planes Proof Systems
    runs on