[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


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

are available at my web page:


  - - -

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

                        Best regards,


More information about the Proof-Complexity mailing list