[Proof Complexity] a preprint

Jan Krajicek krajicek at karlin.mff.cuni.cz
Fri Apr 22 09:35:00 CEST 2016


  Dear colleagues,

  a preprint of mine:

  "A feasible interpolation for random resolution"

with the content corresponding to the title
is available at my web page:

  http://www.karln.mff.cuni.cz/~krajicek/rres.pdf

Comments most welcome!

                        Regards,

                                 Jan


More information about the Proof-Complexity mailing list