[Proof Complexity] revised preprint

Jan Krajicek krajicek at karlin.mff.cuni.cz
Mon Dec 2 17:26:37 CET 2013

  Dear colleagues,

  a second revision of my preprint "A reduction
of proof complexity to computational complexity
for AC^0[p] Frege systems" I wrote about
a few weeks ago is available via my web page
or via the ArXiv (there from tomorrow).
It clarifies a step in the proof of 5.1 and
changes the statements of 5.1 and 6.1 accordingly.



More information about the Proof-Complexity mailing list