ECCC - TR21-104

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

Contact

Add Comment

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

Keywords:

IR-calc, Proof Complexity, QRAT, quantified Boolean formulas, simulation

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