Items where Author is "Shukla, Anil"

Article

Beyersdorff, Olaf ; Chew, Leroy ; Mahajan, Meena ; Shukla, Anil (2018) Are Short Proofs Narrow? QBF Resolution Is Not So Simple ACM Transactions on Computational Logic, 19 (1). pp. 1-26. ISSN 1529-3785

Beyersdorff, Olaf ; Chew, Leroy ; Mahajan, Meena ; Shukla, Anil (2018) Understanding cutting planes for QBFs Information and Computation, 262 . pp. 141-161. ISSN 0890-5401

Beyersdorff, Olaf ; Chew, Leroy ; Mahajan, Meena ; Shukla, Anil (2017) Feasible Interpolation for QBF Resolution Calculi Logical Methods in Computer Science, 13 (2). pp. 1-20.

Mahajan, Meena ; Shukla, Anil (2016) Level-ordered Q -resolution and tree-like Q -resolution are incomparable Information Processing Letters, 116 (3). pp. 256-258. ISSN 0020-0190