Skip to main content

Ricerc@Sapienza

Home
Login

Home
Software
Proceedings of the Annual ACM Symposium on Theory of Computing
Risultati ricerca pubblicazioni

Risultati ricerca pubblicazioni

Clique is hard on average for regular resolution

pubblicato su: Proceedings of the Annual ACM Symposium on Theory of Computing - 2018

Atserias Albert, Lauria Massimo, Bonacina Ilario, Nordström Jakob, De Rezende Susanna F, Razborov Alexander

CATALOGO IRIS SAPIENZA

Anno

2018 (1) Apply 2018 filter

Tipo pubblicazione

04 Pubblicazione in atti di convegno (1) Apply 04 Pubblicazione in atti di convegno filter

Rivista

Book

(-) Remove Proceedings of the Annual ACM Symposium on Theory of Computing filter Proceedings of the Annual ACM Symposium on Theory of Computing

Keywords

(-) Remove Software filter Software
Erdős-Rényi random graphs (1) Apply Erdős-Rényi random graphs filter
K-clique (1) Apply K-clique filter
Proof complexity (1) Apply Proof complexity filter
Regular resolution (1) Apply Regular resolution filter

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma