[Proof Complexity] new preprints

Jan Krajicek krajicek at karlin.mff.cuni.cz
Fri Apr 24 09:32:39 CEST 2020


  Dear colleagues,

  two new (short) preprints:

     A limitation on the KPT interpolation

and

     Small circuits and dual weak PHP in the universal
     theory of p-time  algorithms

are available at my web page:

   http://www.karlin.mff.cuni.cz/~krajicek/biblio.html

  - - -

  I hope that everybody is doing OK during these
extraordinary times.


                        Best regards,

                                    Jan


More information about the Proof-Complexity mailing list