Ran Raz: Publications:
Propositional Proof Theory

  1. ``Resolution over Linear Equations and Multilinear Proofs'',
    R.Raz, I.Tzameret,

  2. ``The Strength of Multilinear Proofs'',
    R.Raz, I.Tzameret,

  3. ``Bounded-Depth Frege Lower Bounds for Weaker Pigeonhole Principles'',
    J.Buresh-Oppenheim, P.Beame, T.Pitassi, R.Raz, A.Sabharwal,

  4. ``P ≠ NP, Propositional Proof Complexity, and Resolution Lower Bounds for the Weak Pigeonhole Principle'',
    R.Raz,

  5. ``Resolution Lower Bounds for the Weak Pigeonhole Principle'',
    R.Raz,

  6. ``Regular Resolution Lower Bounds for the Weak Pigeonhole Principle'',
    T.Pitassi, R.Raz,

  7. ``On Interpolation and Automatization for Frege Systems'',
    M.L.Bonet, T.Pitassi, R.Raz,

  8. ``Lower Bounds for Cutting Planes Proofs with Small Coefficients'',
    M.Bonet, T.Pitassi, R.Raz,