[Proof Complexity] a short monograph

Jan Krajicek jan.krajicek at protonmail.com
Mon Jan 8 13:26:50 CET 2024

 Dear colleagues,

 a complete draft of an exposition of the theory of proof complexity generators
is available at my web page:


Comments are very welcome.

 Best regards, Jan

Odesláno z bezpečného Proton Mailu.

More information about the Proof-Complexity mailing list