Efficient Proofs and Computation: A Unified Algebraic Approach

Informacje na temat projektu

EPRICOT

Identyfikator umowy o grant: 101002742

DOI

10.3030/101002742

Data podpisania przez KE 13 Kwietnia 2021

Data rozpoczęcia 1 Lipca 2021

Data zakończenia 30 Czerwca 2027

Finansowanie w ramach

• EXCELLENT SCIENCE - European Research Council (ERC)

Koszt całkowity

€ 1 899 675,00

Wkład UE

€ 1 899 675,00

Koordynowany przez

IMPERIAL COLLEGE OF SCIENCE TECHNOLOGY AND MEDICINE
United Kingdom

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Conference proceedings (6)

The Weak Rank Principle: Lower Bounds and Applications

Autorzy: Michal Garlik, Svyatoslav Gryaznov, Hanlin Ren, and Iddo Tzameret
Opublikowane w: 58th Annual ACM Symposium on Theory of Computing (STOC), Salt Lake City, Utah, June 2026, 2026
Wydawca: ACM

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

Autorzy: Tuomas Hakoniemi, Nutan Limaye and Iddo Tzameret
Opublikowane w: 56th Annual ACM Symposium on Theory of Computing (STOC) 2024, Numer (To appear), 2024
Wydawca: ACM

Lower Bounds against the Ideal Proof System in Finite Fields

Autorzy: Tal Elbaz, Nashlen Govindasamy, Jiaqi Lu, Iddo Tzameret
Opublikowane w: 58th Annual ACM Symposium on Theory of Computing (STOC), Salt Lake City, Utah, June 2026., 2026
Wydawca: ACM

Lower bounds for regular resolution over parities

Autorzy: Klim Efremenko, Michal Garlik, Dmitry Itsykson
Opublikowane w: Proceedings of the 56th Annual ACM SIGACT Symposium on Theory of Computing (STOC) 2024, Numer (To appear), 2024
Wydawca: ACM

Simple Hard Instances for Low-Depth Algebraic Proofs

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

Stretching Demi-Bits and Nondeterministic-Secure Pseudorandomness

Autorzy: Tzameret, Iddo; Zhang, Lu-Ming
Opublikowane w: 15th Innovations in Theoretical Computer Science Conference (ITCS), 2024., 2024, ISBN 9783959773096
Wydawca: 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?

Autorzy: Yaroslav Alekseev, Dima Grigoriev, Edward A. Hirsch, Iddo Tzameret
Opublikowane w: SIAM Journal on Computing, 2024, ISSN 0097-5397
Wydawca: Society for Industrial and Applied Mathematics

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

Autorzy: Rahul Santhanam, Iddo Tzameret
Opublikowane w: SIAM Journal on Computing, Numer (Invited; Under 2n round review), 2024, ISSN 0097-5397
Wydawca: Society for Industrial and Applied Mathematics

First-Order Reasoning and Efficient Semi-Algebraic Proofs

Autorzy: Fedor Part, Neil Thapen, Iddo Tzameret
Opublikowane w: Annals of Pure and Applied Logic, Numer (Under second round of review; conditional acceptance), 2024, ISSN 1873-2461
Wydawca: Elsevier

Other (2)

Constructive proof of Schwartz-Zippel lemma and applications

Autorzy: Albert Atserias, Iddo Tzameret
Opublikowane w: 2024
Wydawca: Not published yet

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

Autorzy: Svyatoslav Gryaznov, Navid Talebanfard
Opublikowane w: 2024
Wydawca: Computational Complexity Foundation (CCF) (under review)