( en | de | ru )

 

Disambiguierung von "Mahajan, Meena"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Short Proofs in QBF Expansion.

, , , und . SAT, Volume 11628 von Lecture Notes in Computer Science, Seite 19-35. Springer, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Meena Rajani

Kiran Mahajan

Jitendra Kumar Meena

Srinivasan Meenakshisundaram

Meena Rajbhandari

 

Weitere Publikationen von Autoren mit dem selben Namen

On the Complexity of Rank and Rigidity., und . Electron. Colloquium Comput. Complex., (2006)Counting paths in planar width 2 branching programs., , und . CATS, Volume 128 von CRPIT, Seite 59-68. Australian Computer Society, (2012)The Complexity of Planarity Testing., und . STACS, Volume 1770 von Lecture Notes in Computer Science, Seite 87-98. Springer, (2000)Towards Constructing Optimal Strip Move Sequences., , und . COCOON, Volume 3106 von Lecture Notes in Computer Science, Seite 33-42. Springer, (2004)Determinant: Old Algorithms, New Insights (Extended Abstract)., und . SWAT, Volume 1432 von Lecture Notes in Computer Science, Seite 276-287. Springer, (1998)Logspace Verifiers, NC, and NP., , und . ISAAC, Volume 1004 von Lecture Notes in Computer Science, Seite 52-61. Springer, (1995)Building above read-once polynomials: identity testing and hardness of representation., , und . Electron. Colloquium Comput. Complex., (2015)Planarity, Determinants, Permanents, and (Unique) Matchings., , , und . CSR, Volume 4649 von Lecture Notes in Computer Science, Seite 115-126. Springer, (2007)Hard QBFs for Merge Resolution., , , , und . FSTTCS, Volume 182 von LIPIcs, Seite 12:1-12:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Algebraic Branching Programs, Border Complexity, and Tangent Spaces., , , , und . CCC, Volume 169 von LIPIcs, Seite 21:1-21:24. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)