[Proof Complexity] a revision of a paper

Jan Krajicek jan.krajicek at protonmail.com
Fri Jul 7 16:29:10 CEST 2023


Dear colleagues,

a revision of my preprint "On the existence of strong proof complexity generators" is available as

[https://www.karlin.mff.cuni.cz/~krajicek/](https://www.karlin.mff.cuni.cz/~krajicek/biblio.html#posledni)strong.pdf

I am pointing it out specifically as the revision was rather major.

Best regards and nice summer, Jan

​

Odesláno z bezpečného [Proton Mailu](https://proton.me/).


More information about the Proof-Complexity mailing list