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

07/09/2021

∙

by   Sravanthi Chede, et al.

∙

0

∙

share

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