Sravanthi Chede

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 11

Top Topics

High Resolution

Sample Complexity

Social Networks

Top Venues

Electron. Colloquium Comput. Complex.

Soc. Netw. Anal. Min.

Publications

Sravanthi Chede, Leroy Chew, Anil Shukla
Circuits, Proofs and Propositional Model Counting. Electron. Colloquium Comput. Complex. (2024)
Sravanthi Chede, Anil Shukla
Extending Merge Resolution to a Family of QBF-Proof Systems. STACS (2023)
Sravanthi Chede, Leroy Chew, Balesh Kumar, Anil Shukla
Understanding Nullstellensatz for QBFs. Electron. Colloquium Comput. Complex. (2023)
Sravanthi Chede, Anil Shukla
Extending Merge Resolution to a Family of Proof Systems. Electron. Colloquium Comput. Complex. 29 (2022)
Ranjana Roy Chowdhury, Shivam Gupta, Sravanthi Chede
World War III analysis using signed social networks. Soc. Netw. Anal. Min. 11 (1) (2021)
Sravanthi Chede, Anil Shukla
Extending Merge Resolution to a Family of Proof Systems. CoRR (2021)
Sravanthi Chede, Anil Shukla
Does QRAT simulate IR-calc? QRAT simulation algorithm for $\forall$Exp+Res cannot be lifted to IR-calc. Electron. Colloquium Comput. Complex. 28 (2021)
Ranjana Roy, Shivam Gupta, Sravanthi Chede
World War III Analysis using Signed Social Networks. CoRR (2021)
Sravanthi Chede, Anil Shukla
QRAT Polynomially Simulates Merge Resolution. Electron. Colloquium Comput. Complex. 28 (2021)
Sravanthi Chede, Anil Shukla
QRAT Polynomially Simulates Merge Resolution. CoRR (2021)
Sravanthi Chede, Anil Shukla
Does QRAT simulate IR-calc? QRAT simulation algorithm for ∀Exp+Res cannot be lifted to IR-calc. CoRR (2021)