Metacomputational Complexity Theory

Informacje na temat projektu

MCT

Identyfikator umowy o grant: 890220

DOI

10.3030/890220

Projekt został zamknięty

Data podpisania przez KE 20 Lutego 2020

Data rozpoczęcia 1 Marca 2020

Data zakończenia 28 Lutego 2022

Finansowanie w ramach

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Koszt całkowity

€ 212 933,76

Wkład UE

€ 212 933,76

Koordynowany przez

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

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Other (3)

Learning algorithms versus automatability of Frege systems

Autorzy: Jan Pich, Rahul Santhanam
Opublikowane w: ArXiv (to appear in International Colloquium on Automata, Languages and Programming ICALP 2022), 2021
Wydawca: ArXiv

Learning algorithms from circuit lower bounds

Autorzy: Jan Pich
Opublikowane w: ArXiv, 2020
Wydawca: ArXiv

Beyond natural proofs: hardness magnification and locality

Autorzy: Lijie Chen, Shuichi Hirahara, Igor C. Oliveira, Jan Pich, Ninad Rajgopal, Rahul Santhanam
Opublikowane w: Journal of the ACM (to appear), 2022
Wydawca: ACM

Peer reviewed articles (1)

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

Autorzy: Igor Carboni Oliveira, Jan Pich, Rahul Santhanam
Opublikowane w: Theory of Computing, 2021
Wydawca: Theory of Computing

Conference proceedings (1)

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

Autorzy: Jan Pich, Rahul Santhanam
Opublikowane w: Proceedings of the 53rd ACM SIGACT Symposium on Theory of Computing, 2021
Wydawca: ACM