Sravanthi Chede

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