Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



REPORTS > DETAIL:

Paper:

TR21-104 | 26th June 2021 12:17

Does QRAT simulate IR-calc? QRAT simulation algorithm for $\forall$Exp+Res cannot be lifted to IR-calc

RSS-Feed




TR21-104
Authors: Sravanthi Chede, Anil Shukla
Publication: 18th July 2021 19:15
Downloads: 116
Keywords: 


Abstract:

We show that the QRAT simulation algorithm of $\forall$Exp+Res from [B. Kiesl and M. Seidl, 2019] cannot be lifted to IR-calc.



ISSN 1433-8092 | Imprint