Остановите войну!
for scientists:
default search action
Iddo Tzameret
- > Home > Persons > Iddo Tzameret
Publications
- 2021
- [j13]Fedor Part, Iddo Tzameret:
Resolution with Counting: Dag-Like Lower Bounds and Different Moduli. Comput. Complex. 30(1): 2 (2021) - [j12]Iddo Tzameret, Stephen A. Cook:
Uniform, Integral, and Feasible Proofs for the Determinant Identities. J. ACM 68(2): 12:1-12:80 (2021) - [j11]Michael A. Forbes, Amir Shpilka, Iddo Tzameret, Avi Wigderson:
Proof Complexity Lower Bounds from Algebraic Circuit Complexity. Theory Comput. 17: 1-88 (2021) - [c15]Fedor Part, Neil Thapen, Iddo Tzameret:
First-Order Reasoning and Efficient Semi-Algebraic Proofs. LICS 2021: 1-13 - [c14]Rahul Santhanam, Iddo Tzameret:
Iterated lower bound formulas: a diagonalization-based approach to proof complexity. STOC 2021: 234-247 - [i29]Fedor Part, Neil Thapen, Iddo Tzameret:
First-Order Reasoning and Efficient Semi-Algebraic Proofs. CoRR abs/2105.07531 (2021) - [i28]Rahul Santhanam, Iddo Tzameret:
Iterated Lower Bound Formulas: A Diagonalization-Based Approach to Proof Complexity. Electron. Colloquium Comput. Complex. TR21 (2021) - 2020
- [c12]Fedor Part, Iddo Tzameret:
Resolution with Counting: Dag-Like Lower Bounds and Different Moduli. ITCS 2020: 19:1-19:37 - [c11]Yaroslav Alekseev, Dima Grigoriev, Edward A. Hirsch, Iddo Tzameret:
Semi-algebraic proofs, IPS lower bounds, and the τ-conjecture: can a natural number be negative? STOC 2020: 54-67 - 2019
- [i27]Yaroslav Alekseev, Dima Grigoriev, Edward A. Hirsch, Iddo Tzameret:
Semi-Algebraic Proofs, IPS Lower Bounds and the τ-Conjecture: Can a Natural Number be Negative? CoRR abs/1911.06738 (2019) - [i26]Yaroslav Alekseev, Dima Grigoriev, Edward A. Hirsch, Iddo Tzameret:
Semi-Algebraic Proofs, IPS Lower Bounds and the $\tau$-Conjecture: Can a Natural Number be Negative? Electron. Colloquium Comput. Complex. TR19 (2019) - 2018
- [i25]Fedor Part, Iddo Tzameret:
Resolution with Counting: Lower Bounds over Different Moduli. CoRR abs/1806.09383 (2018) - [i24]Iddo Tzameret, Stephen A. Cook:
Uniform, Integral and Feasible Proofs for the Determinant Identities. CoRR abs/1811.04313 (2018) - [i23]Fedor Part, Iddo Tzameret:
Resolution with Counting: Lower Bounds over Different Moduli. Electron. Colloquium Comput. Complex. TR18 (2018) - [i22]Iddo Tzameret, Stephen A. Cook:
Uniform, Integral and Feasible Proofs for the Determinant Identities. Electron. Colloquium Comput. Complex. TR18 (2018) - 2017
- [c10]Iddo Tzameret, Stephen A. Cook:
Uniform, integral and efficient proofs for the determinant identities. LICS 2017: 1-12 - 2016
- [j8]Toniann Pitassi, Iddo Tzameret:
Algebraic proof complexity: progress, frontiers and challenges. ACM SIGLOG News 3(3): 21-43 (2016) - [c9]Michael A. Forbes, Amir Shpilka, Iddo Tzameret, Avi Wigderson:
Proof Complexity Lower Bounds from Algebraic Circuit Complexity. CCC 2016: 32:1-32:17 - [i21]Michael A. Forbes, Amir Shpilka, Iddo Tzameret, Avi Wigderson:
Proof Complexity Lower Bounds from Algebraic Circuit Complexity. CoRR abs/1606.05050 (2016) - [i20]Toniann Pitassi, Iddo Tzameret:
Algebraic Proof Complexity: Progress, Frontiers and Challenges. CoRR abs/1607.00443 (2016) - [i19]Michael A. Forbes, Amir Shpilka, Iddo Tzameret, Avi Wigderson:
Proof Complexity Lower Bounds from Algebraic Circuit Complexity. Electron. Colloquium Comput. Complex. TR16 (2016) - [i18]Toniann Pitassi, Iddo Tzameret:
Algebraic Proof Complexity: Progress, Frontiers and Challenges. Electron. Colloquium Comput. Complex. TR16 (2016) - 2015
- [j7]Pavel Hrubes, Iddo Tzameret:
Short Proofs for the Determinant Identities. SIAM J. Comput. 44(2): 340-383 (2015) - 2013
- [j5]Eric Allender, George Davie, Luke Friedman, Samuel Hopkins, Iddo Tzameret:
Kolmogorov Complexity, Circuits, and the Strength of Formal Theories of Arithmetic. Chic. J. Theor. Comput. Sci. 2013 (2013) - 2012
- [c5]Pavel Hrubes, Iddo Tzameret:
Short proofs for the determinant identities. STOC 2012: 193-212 - [i11]Eric Allender, George Davie, Luke Friedman, Samuel Hopkins, Iddo Tzameret:
Kolmogorov Complexity, Circuits, and the Strength of Formal Theories of Arithmetic. Electron. Colloquium Comput. Complex. TR12 (2012) - 2011
- [i9]Pavel Hrubes, Iddo Tzameret:
Short Proofs for the Determinant Identities. CoRR abs/1112.6265 (2011) - [i8]Pavel Hrubes, Iddo Tzameret:
Short Proofs for the Determinant Identities. Electron. Colloquium Comput. Complex. TR11 (2011) - 2009
- [c3]Pavel Hrubes, Iddo Tzameret:
The Proof Complexity of Polynomial Identities. CCC 2009: 41-51 - 2008
- [j2]Ran Raz, Iddo Tzameret:
Resolution over linear equations and multilinear proofs. Ann. Pure Appl. Log. 155(3): 194-224 (2008) - [j1]Ran Raz, Iddo Tzameret:
The Strength of Multilinear Proofs. Comput. Complex. 17(3): 407-457 (2008) - 2007
- [i3]Ran Raz, Iddo Tzameret:
Resolution over Linear Equations and Multilinear Proofs. CoRR abs/0708.1529 (2007) - [i2]Ran Raz, Iddo Tzameret:
Resolution over Linear Equations and Multilinear Proofs. Electron. Colloquium Comput. Complex. TR07 (2007) - 2006
- [i1]Ran Raz, Iddo Tzameret:
The Strength of Multilinear Proofs. Electron. Colloquium Comput. Complex. TR06 (2006)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint