Meena Mahajan
Scholar

Meena Mahajan

Google Scholar ID: HYLNAGUAAAAJ
The Institute of Mathematical Sciences, (a CI of Homi Bhabha National Institute), Chennai, India
computational complexitydiscrete algorithmsautomata theory
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,016
 
H-index
15
 
i10-index
20
 
Publications
20
 
Co-authors
31
list available
Contact
No contact links provided.
Publications
2 items
Semi-Algebraic Proof Systems for QBF
International Conference on Theory and Applications of Satisfiability Testing · 2025
Cited
0
On the Interplay of Cube Learning and Dependency Schemes in QCDCL Proof Systems
2025
Cited
0
Resume (English only)
Co-authors
31 total
Nutan Limaye
Nutan Limaye
Professor, Theoretical Computer Science, IT University of Copenhagen, Denmark
Olaf Beyersdorff
Olaf Beyersdorff
Professor of Theoretical Computer Science, Friedrich Schiller University Jena, Germany
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Prajakta Nimbhorkar
Prajakta Nimbhorkar
Chennai Mathematical Institute
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Co-author 8
Co-author 8