Does QRAT simulate IR-calc? QRAT simulation algorithm for Exp+Res cannot be lifted to IR-calc
arXiv:2107.04547
Abstract
We show that the QRAT simulation algorithm of Exp+Res from [B. Kiesl and M. Seidl, 2019] cannot be lifted to IR-calc.
9 pages, 2 figures