[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