Metacomputational Complexity Theory

Informazioni relative al progetto

MCT

ID dell’accordo di sovvenzione: 890220

DOI

10.3030/890220

Progetto chiuso

Data della firma CE 20 Febbraio 2020

Data di avvio 1 Marzo 2020

Data di completamento 28 Febbraio 2022

Finanziato da

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Costo totale

€ 212 933,76

Contributo UE

€ 212 933,76

Coordinato da

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

Other (3)

Learning algorithms versus automatability of Frege systems

Autori: Jan Pich, Rahul Santhanam
Pubblicato in: ArXiv (to appear in International Colloquium on Automata, Languages and Programming ICALP 2022), 2021
Editore: ArXiv

Learning algorithms from circuit lower bounds

Autori: Jan Pich
Pubblicato in: ArXiv, 2020
Editore: ArXiv

Beyond natural proofs: hardness magnification and locality

Autori: Lijie Chen, Shuichi Hirahara, Igor C. Oliveira, Jan Pich, Ninad Rajgopal, Rahul Santhanam
Pubblicato in: Journal of the ACM (to appear), 2022
Editore: ACM

Peer reviewed articles (1)

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

Autori: Igor Carboni Oliveira, Jan Pich, Rahul Santhanam
Pubblicato in: Theory of Computing, 2021
Editore: Theory of Computing

Conference proceedings (1)

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

Autori: Jan Pich, Rahul Santhanam
Pubblicato in: Proceedings of the 53rd ACM SIGACT Symposium on Theory of Computing, 2021
Editore: ACM