Sravanthi Chede | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Anil Shukla
4 publications

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...

0 Sravanthi Chede, et al. ∙

research

∙ 07/20/2021

QRAT Polynomially Simulates Merge Resolution

Merge Resolution (MRes [Beyersdorff et al. J. Autom. Reason.'2021] ) is ...

0 Sravanthi Chede, et al. ∙

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...

0 Sravanthi Chede, et al. ∙