Meena Mahajan
Meena Mahajan
Affiliation: IMSc Chennai
Affiliation: Institute of Mathematical Sciences, HBNI, Chennai
Affiliation: The Institute of Mathematical Sciences, Homi Bhabha National Institute
Pages in this Program
Quantified CDCL and Dependency Schemes: A proof-theoretic study
Proof Systems for QBF Synthesis: Extracting Skolem and Herbrand Functions
Long-Distance Q(D^{std})Consensus is sound
Quantified CDCL and Dependency Schemes: A proof-theoretic study
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑