[Proof Complexity] a new preprint

Jan Krajicek jan.krajicek at protonmail.com
Wed Jan 25 16:21:28 CET 2023


Dear colleagues,

a preliminary version of a new paper on Extended Nullstellensatz proof systems is available via my web page:

https://www2.karlin.mff.cuni.cz/~krajicek/biblio.html#posledni

Comments are most welcome.

Best regards, Jan

​

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


More information about the Proof-Complexity mailing list