Metacomputational Complexity Theory

Información del proyecto

MCT

Identificador del acuerdo de subvención: 890220

DOI

10.3030/890220

Proyecto cerrado

Fecha de la firma de la CE 20 Febrero 2020

Fecha de inicio 1 Marzo 2020

Fecha de finalización 28 Febrero 2022

Financiado con arreglo a

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coste total

€ 212 933,76

Aportación de la UE

€ 212 933,76

Coordinado por

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

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Other (3)

Learning algorithms versus automatability of Frege systems

Autores: Jan Pich, Rahul Santhanam
Publicado en: ArXiv (to appear in International Colloquium on Automata, Languages and Programming ICALP 2022), 2021
Editor: ArXiv

Learning algorithms from circuit lower bounds

Autores: Jan Pich
Publicado en: ArXiv, 2020
Editor: ArXiv

Beyond natural proofs: hardness magnification and locality

Autores: Lijie Chen, Shuichi Hirahara, Igor C. Oliveira, Jan Pich, Ninad Rajgopal, Rahul Santhanam
Publicado en: Journal of the ACM (to appear), 2022
Editor: ACM

Peer reviewed articles (1)

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

Autores: Igor Carboni Oliveira, Jan Pich, Rahul Santhanam
Publicado en: Theory of Computing, 2021
Editor: Theory of Computing

Conference proceedings (1)

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

Autores: Jan Pich, Rahul Santhanam
Publicado en: Proceedings of the 53rd ACM SIGACT Symposium on Theory of Computing, 2021
Editor: ACM