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

Sravanthi Chede; Anil Shukla

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

Computational Complexity 2021-07-12 v1

Authors: Sravanthi Chede , Anil Shukla

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.

Cite

@article{arxiv.2107.04547,
  title  = {Does QRAT simulate IR-calc? QRAT simulation algorithm for $\forall$Exp+Res cannot be lifted to IR-calc},
  author = {Sravanthi Chede and Anil Shukla},
  journal= {arXiv preprint arXiv:2107.04547},
  year   = {2021}
}