Ran Raz: Publications:
Propositional Proof Theory
-
``Resolution over Linear Equations and Multilinear Proofs'',
R.Raz, I.Tzameret,
-
Annals of Pure and Applied Logic 155(3) (2008), pp. 194-224
-
``The Strength of Multilinear Proofs'',
R.Raz, I.Tzameret,
-
Journal of Computational Complexity 17(3) (2008)
-
``Bounded-Depth Frege Lower Bounds for Weaker Pigeonhole Principles'',
J.Buresh-Oppenheim, P.Beame, T.Pitassi, R.Raz, A.Sabharwal,
-
Proceeding of the 43th FOCS, 2002, pp. 583-592
-
SIAM Journal of Computing 34(2) (2004), pp. 261-276
-
``P ≠ NP, Propositional Proof Complexity, and
Resolution Lower Bounds for the Weak Pigeonhole Principle'',
R.Raz,
-
Proceeding of the International Congress of Mathematicians,
ICM 2002, Vol III, pp. 685-693
-
``Resolution Lower Bounds for the Weak Pigeonhole Principle'',
R.Raz,
-
Proceeding of the 34th STOC, 2002, pp. 553-562
-
Journal of the Association for Computing Machinery 51(2) (2004)
pp. 115-138
-
``Regular Resolution Lower Bounds for the Weak Pigeonhole Principle'',
T.Pitassi, R.Raz,
-
Proceeding of the 33rd STOC, 2001, pp. 347-355
-
Combinatorica 24(3) (2004), pp. 503-524
-
``On Interpolation and Automatization for Frege Systems'',
M.L.Bonet, T.Pitassi, R.Raz,
-
Proceeding of the 38th FOCS, 1997, pp. 254-263
(title: ``No Feasible Interpolation for Frege and TC0-Frege Proofs'')
-
SIAM Journal of Computing 29(6) (2000), pp. 1939-1967
-
``Lower Bounds for Cutting Planes Proofs with Small Coefficients'',
M.Bonet, T.Pitassi, R.Raz,
-
Proceeding of the 27th STOC 1995, pp. 575-584
-
Journal of Symbolic Logic 62(3) (1997) pp. 708-728