Anil Shukla

Identifiers

• name variant Anil Shukla 0.60 · backfill

Papers (1)

1. On Proof Systems for #QBF cs.LO · 2026 · author #4

Mentions

• 2606.02143 #4 · arxiv_oai · confidence 0.70 Anil Shukla

Frequent Coauthors

• Leroy Chew 1 shared papers
• Sravanthi Chede 1 shared papers
• Vaibhav Krishan 1 shared papers