[Proof Complexity] a revised preprint

Jan Krajicek krajicek at karlin.mff.cuni.cz
Thu Nov 21 18:26:28 CET 2013

  Dear colleagues,

  I put on my web page a revision of the preprint
"A reduction of proof complexity to computational
complexity for AC^0[p] Frege systems" I announced
earlier. It should be also available through the
ArXiv from tomorrow. Sorry for the inconvenience.



More information about the Proof-Complexity mailing list