Skip to main content

Ricerc@Sapienza

Home
Login

Home
Proof complexity
Risultati ricerca pubblicazioni

Risultati ricerca pubblicazioni

Space proof complexity for random 3-CNFs

pubblicato su: INFORMATION AND COMPUTATION - 2017

Bennett Patrick, Bonacina Ilario, Galesi Nicola, Huynh Tony, Molloy Mike, Wollan PAUL JOSEPH

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
2017 (1) Apply 2017 filter

Tipo pubblicazione

01 Pubblicazione su rivista (1) Apply 01 Pubblicazione su rivista filter
04 Pubblicazione in atti di convegno (1) Apply 04 Pubblicazione in atti di convegno filter

Rivista

INFORMATION AND COMPUTATION (1) Apply INFORMATION AND COMPUTATION filter

Book

Proceedings of the Annual ACM Symposium on Theory of Computing (1) Apply Proceedings of the Annual ACM Symposium on Theory of Computing filter

Keywords

(-) Remove Proof complexity filter Proof complexity
Erdős-Rényi random graphs (1) Apply Erdős-Rényi random graphs filter
K-clique (1) Apply K-clique filter
Monomial space (1) Apply Monomial space filter
Polynomial calculus (1) Apply Polynomial calculus filter
Random CNFs (1) Apply Random CNFs filter
Regular resolution (1) Apply Regular resolution filter
Resolution (1) Apply Resolution filter
Software (1) Apply Software filter
Total space (1) Apply Total space filter

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