Sravanthi Chede

According to our database, Sravanthi Chede authored at least 9 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Circuits, Proofs and Propositional Model Counting.

Sravanthi Chede, Leroy Chew, Anil Shukla

Electron. Colloquium Comput. Complex., 2024

2023

Understanding Nullstellensatz for QBFs.

Sravanthi Chede, Leroy Chew, Balesh Kumar, Anil Shukla

Electron. Colloquium Comput. Complex., 2023

Extending Merge Resolution to a Family of QBF-Proof Systems.

Sravanthi Chede, Anil Shukla

Proceedings of the 40th International Symposium on Theoretical Aspects of Computer Science, 2023

2022

Extending Merge Resolution to a Family of Proof Systems.

Sravanthi Chede, Anil Shukla

Electron. Colloquium Comput. Complex., 2022

2021

World War III analysis using signed social networks.

Ranjana Roy Chowdhury, Shivam Gupta, Sravanthi Chede

Soc. Netw. Anal. Min., 2021

QRAT Polynomially Simulates Merge Resolution.

Sravanthi Chede, Anil Shukla

Electron. Colloquium Comput. Complex., 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

Does QRAT simulate IR-calc? QRAT simulation algorithm for ∀Exp+Res cannot be lifted to IR-calc.

Sravanthi Chede, Anil Shukla

CoRR, 2021

World War III Analysis using Signed Social Networks.

Ranjana Roy, Shivam Gupta, Sravanthi Chede

CoRR, 2021