Vaibhav Krishan
Vaibhav Krishan
Affiliation: Institute of Mathematical Sciences Chennai
Affiliation: The Institute of Mathematical Sciences (A CI of Homi Bhabha National Institute), Chennai, India
Pages in this Program
On Proof Systems for #QBF
On Knowledge Compilation Languages for QBFs
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑