Metacomputational Complexity Theory

Projektinformationen

MCT

ID Finanzhilfevereinbarung: 890220

DOI

10.3030/890220

Projekt abgeschlossen

EK-Unterschriftsdatum 20 Februar 2020

Startdatum 1 März 2020

Enddatum 28 Februar 2022

Finanziert unter

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Gesamtkosten

€ 212 933,76

EU-Beitrag

€ 212 933,76

Koordiniert durch

THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
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

Other (3)

Learning algorithms versus automatability of Frege systems

Autoren: Jan Pich, Rahul Santhanam
Veröffentlicht in: ArXiv (to appear in International Colloquium on Automata, Languages and Programming ICALP 2022), 2021
Herausgeber: ArXiv

Learning algorithms from circuit lower bounds

Autoren: Jan Pich
Veröffentlicht in: ArXiv, 2020
Herausgeber: ArXiv

Beyond natural proofs: hardness magnification and locality

Autoren: Lijie Chen, Shuichi Hirahara, Igor C. Oliveira, Jan Pich, Ninad Rajgopal, Rahul Santhanam
Veröffentlicht in: Journal of the ACM (to appear), 2022
Herausgeber: ACM

Peer reviewed articles (1)

Hardness magnification near state-of-the-art lower bounds

Autoren: Igor Carboni Oliveira, Jan Pich, Rahul Santhanam
Veröffentlicht in: Theory of Computing, 2021
Herausgeber: Theory of Computing

Conference proceedings (1)

Strong co-Nondeterministic lower bounds for NP cannot be proved feasibly

Autoren: Jan Pich, Rahul Santhanam
Veröffentlicht in: Proceedings of the 53rd ACM SIGACT Symposium on Theory of Computing, 2021
Herausgeber: ACM