[Proof Complexity] new paper

Jan Krajicek krajicek at karlin.mff.cuni.cz
Sat Jun 1 08:27:18 CEST 2019

  Dear colleagues,

  a new paper

  "Consistency of circuit lower bounds
   with bounded theories"

coauthored by Jan Bydzovsky and Igor C. Oliveira
is available via the ArXiv:


Comments most welcome.

                      Best regards,


More information about the Proof-Complexity mailing list