Iddo Tzameret

Identifiers

• name variant Iddo Tzameret 0.60 · backfill

Papers (12)

1. Hard CNF Instances for Ideal Proof Systems cs.CC · 2026 · author #3
2. Uniform, Integral and Feasible Proofs for the Determinant Identities cs.CC · 2018 · author #1
3. Algebraic Proof Complexity: Progress, Frontiers and Challenges cs.CC · 2016 · author #2
4. Proof Complexity Lower Bounds from Algebraic Circuit Complexity cs.CC · 2016 · author #3
5. Characterizing Propositional Proofs as Non-Commutative Formulas cs.CC · 2014 · author #2
6. Generating Matrix Identities and Proof Complexity cs.CC · 2013 · author #2
7. Sparser Random 3SAT Refutation Algorithms and the Interpolation Problem cs.CC · 2013 · author #1
8. Short Proofs for the Determinant Identities cs.CC · 2011 · author #2
9. Short Propositional Refutations for Dense Random 3CNF Formulas cs.CC · 2011 · author #2
10. Algebraic Proofs over Noncommutative Formulas cs.CC · 2010 · author #1
11. Resolution over Linear Equations and Multilinear Proofs cs.CC · 2007 · author #2
12. Complexity of Propositional Proofs under a Promise cs.CC · 2007 · author #2

Mentions

• 1312.6242 #2 · backfill · confidence 0.70 Iddo Tzameret
• 1305.0948 #1 · backfill · confidence 0.70 Iddo Tzameret
• 1112.6265 #2 · backfill · confidence 0.70 Iddo Tzameret
• 1101.3970 #2 · backfill · confidence 0.70 Iddo Tzameret
• 1004.2159 #1 · backfill · confidence 0.70 Iddo Tzameret
• 0708.1529 #2 · backfill · confidence 0.70 Iddo Tzameret
• 0707.4255 #2 · backfill · confidence 0.70 Iddo Tzameret

Frequent Coauthors

• Fu Li 2 shared papers
• Amir Shpilka 1 shared papers
• Avi Wigderson 1 shared papers
• Michael A. Forbes 1 shared papers
• Nachum Dershowitz 1 shared papers
• Nutan Limaye 1 shared papers
• Pavel Hrubes 1 shared papers
• Ran Raz 1 shared papers
• Sebastian M\"uller 1 shared papers
• Stephen A. Cook 1 shared papers
• Tonnian Pitassi 1 shared papers
• Tuomas Hakoniemi 1 shared papers
• Zhengyu Wang 1 shared papers