A Lower Bound for Polynomial Calculus with Extension Rule

Ярослав Юрьевич Алексеев - Speaker

22 Jul 2021

Title	36th Computational Complexity Conference, CCC 2021
Period	20/07/21 → 23/07/21
City	Virtual, Toronto
Country/Territory	Canada