Metacomputational Complexity Theory

Informations projet

MCT

N° de convention de subvention: 890220

DOI

10.3030/890220

Projet clôturé

Date de signature de la CE 20 Février 2020

Date de début 1 Mars 2020

Date de fin 28 Février 2022

Financé au titre de

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coût total

€ 212 933,76

Contribution de l’UE

€ 212 933,76

Coordonné par

THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
United Kingdom

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Other (3)

Learning algorithms versus automatability of Frege systems

Auteurs: Jan Pich, Rahul Santhanam
Publié dans: ArXiv (to appear in International Colloquium on Automata, Languages and Programming ICALP 2022), 2021
Éditeur: ArXiv

Learning algorithms from circuit lower bounds

Auteurs: Jan Pich
Publié dans: ArXiv, 2020
Éditeur: ArXiv

Beyond natural proofs: hardness magnification and locality

Auteurs: Lijie Chen, Shuichi Hirahara, Igor C. Oliveira, Jan Pich, Ninad Rajgopal, Rahul Santhanam
Publié dans: Journal of the ACM (to appear), 2022
Éditeur: ACM

Peer reviewed articles (1)

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

Auteurs: Igor Carboni Oliveira, Jan Pich, Rahul Santhanam
Publié dans: Theory of Computing, 2021
Éditeur: Theory of Computing

Conference proceedings (1)

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

Auteurs: Jan Pich, Rahul Santhanam
Publié dans: Proceedings of the 53rd ACM SIGACT Symposium on Theory of Computing, 2021
Éditeur: ACM