[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:


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