Efficient Proofs and Computation: A Unified Algebraic Approach

Projektinformationen

EPRICOT

ID Finanzhilfevereinbarung: 101002742

DOI

10.3030/101002742

EK-Unterschriftsdatum 13 April 2021

Startdatum 1 Juli 2021

Enddatum 30 Juni 2027

Finanziert unter

• EXCELLENT SCIENCE - European Research Council (ERC)

Gesamtkosten

€ 1 899 675,00

EU-Beitrag

€ 1 899 675,00

Koordiniert durch

IMPERIAL COLLEGE OF SCIENCE TECHNOLOGY AND MEDICINE
United Kingdom

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Conference proceedings (6)

The Weak Rank Principle: Lower Bounds and Applications

Autoren: Michal Garlik, Svyatoslav Gryaznov, Hanlin Ren, and Iddo Tzameret
Veröffentlicht in: 58th Annual ACM Symposium on Theory of Computing (STOC), Salt Lake City, Utah, June 2026, 2026
Herausgeber: ACM

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

Autoren: Tuomas Hakoniemi, Nutan Limaye and Iddo Tzameret
Veröffentlicht in: 56th Annual ACM Symposium on Theory of Computing (STOC) 2024, Ausgabe (To appear), 2024
Herausgeber: ACM

Lower Bounds against the Ideal Proof System in Finite Fields

Autoren: Tal Elbaz, Nashlen Govindasamy, Jiaqi Lu, Iddo Tzameret
Veröffentlicht in: 58th Annual ACM Symposium on Theory of Computing (STOC), Salt Lake City, Utah, June 2026., 2026
Herausgeber: ACM

Lower bounds for regular resolution over parities

Autoren: Klim Efremenko, Michal Garlik, Dmitry Itsykson
Veröffentlicht in: Proceedings of the 56th Annual ACM SIGACT Symposium on Theory of Computing (STOC) 2024, Ausgabe (To appear), 2024
Herausgeber: ACM

Simple Hard Instances for Low-Depth Algebraic Proofs

Autoren: Nashlen Govindasamy, Tuomas Hakoniemi, Iddo Tzameret
Veröffentlicht in: IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS) 2022, 2022, ISBN 978-1-6654-5519-0
Herausgeber: IEEE
DOI: 10.1109/focs54457.2022.00025

Stretching Demi-Bits and Nondeterministic-Secure Pseudorandomness

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

Peer reviewed articles (3)

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

Autoren: Yaroslav Alekseev, Dima Grigoriev, Edward A. Hirsch, Iddo Tzameret
Veröffentlicht in: SIAM Journal on Computing, 2024, ISSN 0097-5397
Herausgeber: Society for Industrial and Applied Mathematics

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

Autoren: Rahul Santhanam, Iddo Tzameret
Veröffentlicht in: SIAM Journal on Computing, Ausgabe (Invited; Under 2n round review), 2024, ISSN 0097-5397
Herausgeber: Society for Industrial and Applied Mathematics

First-Order Reasoning and Efficient Semi-Algebraic Proofs

Autoren: Fedor Part, Neil Thapen, Iddo Tzameret
Veröffentlicht in: Annals of Pure and Applied Logic, Ausgabe (Under second round of review; conditional acceptance), 2024, ISSN 1873-2461
Herausgeber: Elsevier

Other (2)

Constructive proof of Schwartz-Zippel lemma and applications

Autoren: Albert Atserias, Iddo Tzameret
Veröffentlicht in: 2024
Herausgeber: Not published yet

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

Autoren: Svyatoslav Gryaznov, Navid Talebanfard
Veröffentlicht in: 2024
Herausgeber: Computational Complexity Foundation (CCF) (under review)