Extending Merge Resolution to a Family of QBF-Proof Systems S Chede, A Shukla 40th International Symposium on Theoretical Aspects of Computer Science …, 2023 | 1 | 2023 |
World War III analysis using signed social networks RR Chowdhury, S Gupta, S Chede Social Network Analysis and Mining 11, 1-16, 2021 | 1 | 2021 |
World War III analysis using signed social networks S Chede, RR Chowdhury, S Gupta | | 2022 |
Extending Merge Resolution to a Family of Proof Systems S Chede, A Shukla arXiv preprint arXiv:2112.11044, 2021 | | 2021 |
QRAT Polynomially Simulates Merge Resolution S Chede, A Shukla arXiv preprint arXiv:2107.09320, 2021 | | 2021 |
Does QRAT simulate IR-calc? QRAT simulation algorithm for Exp+Res cannot be lifted to IR-calc S Chede, A Shukla arXiv preprint arXiv:2107.04547, 2021 | | 2021 |