Follow
Anil Shukla
Anil Shukla
Department of CSE, IIT Ropar
Verified email at iitrpr.ac.in
Title
Cited by
Cited by
Year
Feasible interpolation for QBF resolution calculi
O Beyersdorff, L Chew, M Mahajan, A Shukla
International Colloquium on Automata, Languages, and Programming, 180-192, 2015
402015
Are Short Proofs Narrow? QBF Resolution Is Not So Simple
O Beyersdorff, L Chew, M Mahajan, A Shukla
ACM Transactions on Computational Logic (TOCL) 19 (1), 1-26, 2017
332017
Understanding cutting planes for QBFs
O Beyersdorff, L Chew, M Mahajan, A Shukla
Information and Computation 262, 141-161, 2018
202018
Level-ordered Q-resolution and tree-like Q-resolution are incomparable
M Mahajan, A Shukla
Information Processing Letters 116 (3), 256-258, 2016
52016
On proof complexity for quantified Boolean formulas
A Shukla
PhD thesis, The Institute of Mathematical Sciences, HBNI, India, 2017
32017
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
Extending Prolog for Quantified Boolean Horn Formulas
A Mallick, A Shukla
arXiv preprint arXiv:2103.01046, 2021
2021
Feasible Interpolation for QBF Resolution Calculi
A Shukla, M Mahajan, L Chew, O Beyersdorff
Logical Methods in Computer Science 13, 2017
2017
On Proof Complexity for Quantified Boolean Formulas [HBNI Th112]
A Shukla
IMSc, 2017
2017
Relating two width measures for resolution proofs.
A Krebs, M Mahajan, A Shukla
Electron. Colloquium Comput. Complex. 23, 164, 2016
2016
Interpolation by Deficient Quartic Spline
YP Dubey, A Shukla
International Journal of Computational and Applied Mathematics 8 (1), 87-95, 2013
2013
The system can't perform the operation now. Try again later.
Articles 1–13