research
∙
12/21/2021
Extending Merge Resolution to a Family of Proof Systems
Merge Resolution (MRes [Beyersdorff et al. J. Autom. Reason.'2021]) is a...
share
research
∙
07/20/2021
QRAT Polynomially Simulates Merge Resolution
Merge Resolution (MRes [Beyersdorff et al. J. Autom. Reason.'2021] ) is ...
research
∙
07/09/2021
Does QRAT simulate IR-calc? QRAT simulation algorithm for ∀Exp+Res cannot be lifted to IR-calc
We show that the QRAT simulation algorithm of ∀Exp+Res from [B. Kiesl an...
research
∙
03/01/2021