Vaibhav Krishan

Employment

Employment history is unavailable.

Education

• Indian Institute of Technology Bombay Doctor of Philosophy
  2017 - Present
• Indian Institute of Technology Bombay Bachelor of Technology
  2009 - 2013

Projects & Funding

Projects & funding information is unavailable.

Publications (9)

• Lower Bounds and Separations for Torus Polynomials
  17TH INNOVATIONS IN THEORETICAL COMPUTER SCIENCE CONFERENCE, ITCS 2026 2026 DOI: 10.4230/LIPICS.ITCS.2026.88
  +Save
• On CC⁰ Lower Bounds for AND via Torus Polynomials
  LIPIcs, Volume 386, MFCS 2026 2026 DOI: 10.4230/LIPICS.MFCS.2026.62
  +Save
• On Proof Systems for #QBF (Short Paper)
  LIPIcs, Volume 377, SAT 2026 2026 DOI: 10.4230/LIPICS.SAT.2026.32
  +Save
• Towards ACC Lower Bounds using Torus Polynomials
  Electron. Colloquium Comput. Complex. 2024
  +Save
• MidBit+, Torus Polynomials and Non-classical Polynomials: Equivalences for ACC Lower Bounds
  Electron. Colloquium Comput. Complex. 2023
  +Save
• A #SAT Algorithm for Small Constant-Depth Circuits with PTF gates
  Algorithmica 2022 DOI: 10.1007/s00453-021-00915-7
  +Save
• Upper Bound for Torus Polynomials
  Computer Science – Theory and Applications 2021 DOI: 10.1007/978-3-030-79416-3_15
  +Save
• A #SAT Algorithm for Small Constant-Depth Circuits with PTF Gates
  10TH INNOVATIONS IN THEORETICAL COMPUTER SCIENCE CONFERENCE, ITCS 2019 2019 DOI: 10.4230/LIPICS.ITCS.2019.8
  +Save
• Isolation Lemma for Directed Reachability and NL vs. L
  Electron. Colloquium Comput. Complex. 2016
  +Save