Vaibhav Krishan

Identifiers

• name variant Vaibhav Krishan 0.60 · backfill

Papers (2)

1. On Proof Systems for #QBF cs.LO · 2026 · author #3
2. A #SAT Algorithm for Small Constant-Depth Circuits with PTF gates cs.CC · 2018 · author #2

Mentions

• 2606.02143 #3 · arxiv_oai · confidence 0.70 Vaibhav Krishan

Frequent Coauthors

• Anil Shukla 1 shared papers
• Deepanshu Kush 1 shared papers
• Leroy Chew 1 shared papers
• Nutan Limaye 1 shared papers
• Sravanthi Chede 1 shared papers
• Srikanth Srinivasan 1 shared papers
• Swapnam Bajpai 1 shared papers