Anil Shukla
(The Institute of Mathematical Sciences, 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 ...