[Proof Complexity] new paper

Ярослав Алексеев tolstreg at gmail.com
Mon Oct 19 15:37:12 CEST 2020

Dear colleagues,

a new paper "A Lower Bound for Polynomial Calculus with Extension Rule"
is available on arxiv.org: https://arxiv.org/abs/2010.05660.
Any corrections, suggestions, and comments are welcome.

Best regards,
Yaroslav Alexeev

More information about the Proof-Complexity mailing list