[Proof Complexity] a new preprint

Jan Krajicek krajicek at karlin.mff.cuni.cz
Tue Apr 13 09:14:24 CEST 2021

  Dear colleagues,

  a revision (rather substantial in part) of my preprint

  "Information in propositional proofs and algorithmic
   proof search"

associated with two talks I gave on the topic recently
is available via my web page


or, together with the abstract, at the ArXiv:


Comments welcome!

                             Best regards,


More information about the Proof-Complexity mailing list