AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Anil Shukla

Anil Shukla

Indian Institute of Technology IIT Ropar - Rupnagar / India
Engineering & Technology / Computer Science
AD Scientific Index ID: 5580936
ਇੰਡੀਅਨ ਇੰਸਟੀਚਿ ofਟ ਆਫ ਟੈਕਨੋਲੋਜੀ ਰੋਪੜ
person_outline Anil Shukla's MOST POPULAR ARTICLES
1-) Feasible interpolation for QBF resolution calculi Logical Methods in Computer Science 13, 2017
2-) Are Short Proofs Narrow? QBF Resolution Is Not So Simple ACM Transactions on Computational Logic (TOCL) 19 (1), 1-26, 2017
3-) Understanding cutting planes for QBFs Information and Computation 262, 141-161, 2018
4-) Level-ordered Q-resolution and tree-like Q-resolution are incomparable Information Processing Letters 116 (3), 256-258, 2016
5-) On proof complexity for quantified Boolean formulas PhD thesis, The Institute of Mathematical Sciences, HBNI, India, 2017