[Proof Complexity] a new preprint

Jan Krajicek krajicek at karlin.mff.cuni.cz
Tue Nov 12 18:54:10 CET 2013

  Dear colleagues,

  a new preprint "A reduction of proof complexity
to computational complexity for AC^0[p] Frege
systems" is available via the ArXiv or via my
web page. Comments are, of course, welcome.



More information about the Proof-Complexity mailing list