Efficient Proofs and Computation: A Unified Algebraic Approach

Información del proyecto

EPRICOT

Identificador del acuerdo de subvención: 101002742

DOI

10.3030/101002742

Fecha de la firma de la CE 13 Abril 2021

Fecha de inicio 1 Julio 2021

Fecha de finalización 30 Junio 2026

Financiado con arreglo a

• EXCELLENT SCIENCE - European Research Council (ERC)

Coste total

€ 1 899 675,00

Aportación de la UE

€ 1 899 675,00

Coordinado por

IMPERIAL COLLEGE OF SCIENCE TECHNOLOGY AND MEDICINE
United Kingdom

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Peer reviewed articles (3)

Semi-Algebraic Proofs, IPS Lower Bounds and the τ-Conjecture: Can a Natural Number be Negative?

Autores: Yaroslav Alekseev, Dima Grigoriev, Edward A. Hirsch, Iddo Tzameret
Publicado en: SIAM Journal on Computing, 2024, ISSN 0097-5397
Editor: Society for Industrial and Applied Mathematics

Iterated Lower Bound Formulas: A Diagonalization-Based Approach to Proof Complexity

Autores: Rahul Santhanam, Iddo Tzameret
Publicado en: SIAM Journal on Computing, Edición (Invited; Under 2n round review), 2024, ISSN 0097-5397
Editor: Society for Industrial and Applied Mathematics

First-Order Reasoning and Efficient Semi-Algebraic Proofs

Autores: Fedor Part, Neil Thapen, Iddo Tzameret
Publicado en: Annals of Pure and Applied Logic, Edición (Under second round of review; conditional acceptance), 2024, ISSN 1873-2461
Editor: Elsevier

Conference proceedings (4)

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers

Autores: Tuomas Hakoniemi, Nutan Limaye and Iddo Tzameret
Publicado en: 56th Annual ACM Symposium on Theory of Computing (STOC) 2024, Edición (To appear), 2024
Editor: ACM

Lower bounds for regular resolution over parities

Autores: Klim Efremenko, Michal Garlik, Dmitry Itsykson
Publicado en: Proceedings of the 56th Annual ACM SIGACT Symposium on Theory of Computing (STOC) 2024, Edición (To appear), 2024
Editor: ACM

Simple Hard Instances for Low-Depth Algebraic Proofs

Autores: Nashlen Govindasamy, Tuomas Hakoniemi, Iddo Tzameret
Publicado en: IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS) 2022, 2022, ISBN 978-1-6654-5519-0
Editor: IEEE
DOI: 10.1109/focs54457.2022.00025

Stretching Demi-Bits and Nondeterministic-Secure Pseudorandomness

Autores: Tzameret, Iddo; Zhang, Lu-Ming
Publicado en: 15th Innovations in Theoretical Computer Science Conference (ITCS), 2024., 2024, ISBN 9783959773096
Editor: Leibniz International Proceedings in Informatics, LIPIcs. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
DOI: 10.48550/arxiv.2304.14700

Other (2)

Constructive proof of Schwartz-Zippel lemma and applications

Autores: Albert Atserias, Iddo Tzameret
Publicado en: 2024
Editor: Not published yet

Bounded Depth Frege Lower Bounds for Random 3-CNFs via Deterministic Restrictions

Autores: Svyatoslav Gryaznov, Navid Talebanfard
Publicado en: 2024
Editor: Computational Complexity Foundation (CCF) (under review)