3 papers
cs.CC2021
QRAT Polynomially Simulates Merge Resolution
Sravanthi Chede, Anil Shukla
Merge Resolution (MRes [Beyersdorff et al. J. Autom. Reason.'2021] ) is a refutational proof system for quantified Boolean formulas (QBF). Each line of MRes consists of clauses wit…
cs.CC2021
Does QRAT simulate IR-calc? QRAT simulation algorithm for Exp+Res cannot be lifted to IR-calc
Sravanthi Chede, Anil Shukla
We show that the QRAT simulation algorithm of Exp+Res from [B. Kiesl and M. Seidl, 2019] cannot be lifted to IR-calc.
cs.SI2021
World War III Analysis using Signed Social Networks
Ranjana Roy Chowdhury, Shivam Gupta, Sravanthi Chede
In the recent period of time with a lot of social platforms emerging, the relationships among various units can be framed with respect to either positive, negative or no relation.…