Meena Mahajan

Employment

Employment history is unavailable.

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (50)

• Algebraic branching programs, border complexity, and tangent spaces
  Leibniz International Proceedings in Informatics, LIPIcs 2020 DOI: 10.4230/LIPIcs.CCC.2020.21
  +Save
• Hardness Characterisations and Size-Width Lower Bounds for QBF Resolution
  ACM International Conference Proceeding Series 2020 DOI: 10.1145/3373718.3394793
  +Save
• MaxSAT Resolution and Subcube Sums
  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2020 DOI: 10.1007/978-3-030-51825-7_21
  +Save
• Building Strategies into QBF Proofs
  Journal of automated reasoning 2020 DOI: 10.1007/s10817-020-09560-1
  +Save
• Depth-2 Threshold Circuits
  Resonance 2019 DOI: 10.1007/s12045-019-0786-4
  +Save
• Building strategies into QBF proofs
  Leibniz International Proceedings in Informatics, LIPIcs 2019 DOI: 10.4230/LIPIcs.STACS.2019.14
  +Save
• Research in theoretical computer science
  Communications of the ACM 2019 DOI: 10.1145/3343449
  +Save
• Short Proofs in QBF Expansion
  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2019 DOI: 10.1007/978-3-030-24258-9_2
  +Save
• Shortest path length with bounded-alternation $$(\min ,+)$$ (min,+) formulas
  International journal of advances in engineering sciences and applied mathematics 2018 DOI: 10.1007/s12572-018-0229-6
  +Save
• Lower bound techniques for QBF proof systems
  Leibniz International Proceedings in Informatics, LIPIcs 2018 DOI: 10.4230/LIPIcs.STACS.2018.2
  +Save