Iddo Tzameret

Available identifiers

zbMath Open tzameret.iddoMaRDI QIDQ642519

List of research outcomes

Publication	Date of Publication	Type
Iterated lower bound formulas: a diagonalization-based approach to proof complexity	2023-11-14	Paper
https://portal.mardi4nfdi.de/entity/Q5874190	2023-02-07	Paper
https://portal.mardi4nfdi.de/entity/Q5875713	2023-02-03	Paper
Uniform, Integral, and Feasible Proofs for the Determinant Identities	2022-12-08	Paper
https://portal.mardi4nfdi.de/entity/Q5028363	2022-02-09	Paper
Resolution with counting: dag-like lower bounds and different moduli	2021-06-04	Paper
https://portal.mardi4nfdi.de/entity/Q5144645	2021-01-19	Paper
Semi-algebraic proofs, IPS lower bounds, and the τ-conjecture: can a natural number be negative?	2021-01-19	Paper
Characterizing Propositional Proofs as Noncommutative Formulas	2018-08-03	Paper
Witnessing matrix identities and proof complexity	2018-04-12	Paper
https://portal.mardi4nfdi.de/entity/Q4601840	2018-01-24	Paper
Proof Complexity Lower Bounds from Algebraic Circuit Complexity	2017-10-10	Paper
Algebraic Proof Complexity: Progress, Frontiers and Challenges	2016-07-01	Paper
Complexity of propositional proofs under a promise	2015-09-17	Paper
Short Proofs for the Determinant Identities	2015-06-02	Paper
https://portal.mardi4nfdi.de/entity/Q2939531	2015-01-22	Paper
Sparser Random 3-SAT Refutation Algorithms and the Interpolation Problem	2014-07-01	Paper
Short proofs for the determinant identities	2014-05-13	Paper
https://portal.mardi4nfdi.de/entity/Q5414624	2014-05-07	Paper
Gap Embedding for Well-Quasi-Orderings	2013-06-06	Paper
Algebraic proofs over noncommutative formulas	2011-10-27	Paper
Algebraic Proofs over Noncommutative Formulas	2010-06-17	Paper
The strength of multilinear proofs	2009-06-17	Paper
Resolution over linear equations and multilinear proofs	2008-11-12	Paper
Complexity of propositional proofs under a promise	2007-11-28	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Iddo Tzameret