Concepedia

Iddo Tzameret

IT

5

Publications

163

Citations

5

H-Index

2008

Active since

Affiliations

Weizmann Institute of Science(Current)

Tel Aviv University

Iddo Tzameret is an author at Weizmann Institute of Science specializing in proof complexity, engineering, and formal methods.

Top concepts

Proof ComplexityEngineeringFormal MethodsComputer ScienceCircuit ComplexityAutomated ReasoningFormal VerificationComputational ComplexityComplexityCryptography

Publications per year

2008–2016

5

Publications

5

Resolution over linear equations and multilinear proofs

Ran Raz, Iddo Tzameret · Annals of Pure and Applied Logic · 2008 · 62 citations · Full text

Proof System, Proof Complexity, Linear Equation +1

Short Proofs for the Determinant Identities

Pavel Hrubeš, Iddo Tzameret · SIAM Journal on Computing · 2015 · 42 citations

Circuit Complexity, Arithmetic Proof Systems, Engineering +13

Short propositional refutations for dense random 3CNF formulas

Sebastian Müller, Iddo Tzameret · Annals of Pure and Applied Logic · 2014 · 31 citations

Engineering, Automated Reasoning, Propositional Logic +3

The Strength of Multilinear Proofs

Ran Raz, Iddo Tzameret · Computational Complexity · 2008 · 16 citations

Engineering, Multilinear Proofs, Automated Reasoning +6

Algebraic proof complexity

Toniann Pitassi, Iddo Tzameret · ACM SIGLOG News · 2016 · 12 citations · Full text

Circuit Complexity, Engineering, Abstract Complexity +15

Rows per page

1–5 of 5