Efficient Proofs and Computation: A Unified Algebraic Approach

Informazioni relative al progetto

EPRICOT

ID dell’accordo di sovvenzione: 101002742

DOI

10.3030/101002742

Data della firma CE 13 Aprile 2021

Data di avvio 1 Luglio 2021

Data di completamento 30 Giugno 2026

Finanziato da

• EXCELLENT SCIENCE - European Research Council (ERC)

Costo totale

€ 1 899 675,00

Contributo UE

€ 1 899 675,00

Coordinato da

IMPERIAL COLLEGE OF SCIENCE TECHNOLOGY AND MEDICINE
United Kingdom

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Peer reviewed articles (3)

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

Autori: Yaroslav Alekseev, Dima Grigoriev, Edward A. Hirsch, Iddo Tzameret
Pubblicato in: SIAM Journal on Computing, 2024, ISSN 0097-5397
Editore: Society for Industrial and Applied Mathematics

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

Autori: Rahul Santhanam, Iddo Tzameret
Pubblicato in: SIAM Journal on Computing, Numero (Invited; Under 2n round review), 2024, ISSN 0097-5397
Editore: Society for Industrial and Applied Mathematics

First-Order Reasoning and Efficient Semi-Algebraic Proofs

Autori: Fedor Part, Neil Thapen, Iddo Tzameret
Pubblicato in: Annals of Pure and Applied Logic, Numero (Under second round of review; conditional acceptance), 2024, ISSN 1873-2461
Editore: Elsevier

Conference proceedings (4)

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

Autori: Tuomas Hakoniemi, Nutan Limaye and Iddo Tzameret
Pubblicato in: 56th Annual ACM Symposium on Theory of Computing (STOC) 2024, Numero (To appear), 2024
Editore: ACM

Lower bounds for regular resolution over parities

Autori: Klim Efremenko, Michal Garlik, Dmitry Itsykson
Pubblicato in: Proceedings of the 56th Annual ACM SIGACT Symposium on Theory of Computing (STOC) 2024, Numero (To appear), 2024
Editore: ACM

Simple Hard Instances for Low-Depth Algebraic Proofs

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

Stretching Demi-Bits and Nondeterministic-Secure Pseudorandomness

Autori: Tzameret, Iddo; Zhang, Lu-Ming
Pubblicato in: 15th Innovations in Theoretical Computer Science Conference (ITCS), 2024., 2024, ISBN 9783959773096
Editore: 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

Autori: Albert Atserias, Iddo Tzameret
Pubblicato in: 2024
Editore: Not published yet

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

Autori: Svyatoslav Gryaznov, Navid Talebanfard
Pubblicato in: 2024
Editore: Computational Complexity Foundation (CCF) (under review)