Dr Iddo Tzameret

• Published

  Witnessing matrix identities and proof complexity

  Research output: Contribution to journal › Article

• Forthcoming

  Resolution with Counting: Dag and Tree-like Lower Bounds over Different Moduli

  Research output: Contribution to conference › Abstract

• Forthcoming

  Characterizing Propositional Proofs as Non-commutative Formulas

  Research output: Contribution to journal › Article

View all (28) »

• Regular reviewer for Mathematical Reviews

  Activity: Ongoing editorial work / peer review › Peer review of manuscripts

• The Sixteenth International Workshop on Logic and Computational Complexity (LCC 2015)

  Activity: Participation in council, board, committee and network › Membership of peer review panel or committee

• New advances in algebraic circuits and proofs

  Activity: External academic activity › Invited talk

View all (3) »