World War III Analysis using Signed Social Networks. - Ranjana Roy; Shivam Gupta 004; Sravanthi Chede (CoRR, 2021)

Does QRAT simulate IR-calc? QRAT simulation algorithm for ∀Exp+Res cannot be lifted to IR-calc. - Sravanthi Chede; Anil Shukla (CoRR, 2021)

Does QRAT simulate IR-calc? QRAT simulation algorithm for $ forall$Exp+Res cannot be lifted to IR-calc. - Sravanthi Chede; Anil Shukla (Electron. Colloquium Comput. Complex., 2021)

QRAT Polynomially Simulates Merge Resolution. - Sravanthi Chede; Anil Shukla (Electron. Colloquium Comput. Complex., 2021)

World War III analysis using signed social networks. - Ranjana Roy Chowdhury; Shivam Gupta 004; Sravanthi Chede (Soc. Netw. Anal. Min., 2021)

Extending Merge Resolution to a Family of Proof Systems. - Sravanthi Chede; Anil Shukla (Electron. Colloquium Comput. Complex., 2022)

Extending Merge Resolution to a Family of QBF-Proof Systems. - Sravanthi Chede; Anil Shukla (STACS, 2023)

Understanding Nullstellensatz for QBFs. - Sravanthi Chede; Leroy Chew; Balesh Kumar; Anil Shukla (Electron. Colloquium Comput. Complex., 2023)

Circuits, Proofs and Propositional Model Counting. - Sravanthi Chede; Leroy Chew; Anil Shukla (Electron. Colloquium Comput. Complex., 2024)