Browsing by Author "Anil Shukla"

Browsing by Author "Anil Shukla"

Sort by: Order: Results:

  • Anil Shukla (IMSc, 2017)
    Propositional proof complexity–a sub-branch of computational complexity–is an extensively studied area, with a number of lower bound techniques for various propositional proof systems (for example Resolution, and Cutting ...