research
∙
11/22/2022
Exponential separations using guarded extension variables
We study the complexity of proof systems augmenting resolution with infe...
research
∙
05/31/2021