Skip to main content

Ricerc@Sapienza

Home
Login

Home
Resolution
Polynomial calculus
Risultati ricerca pubblicazioni

Risultati ricerca pubblicazioni

Polynomial calculus space and resolution width

pubblicato su: Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS - 2019

Galesi N., Kolodziejczyk L., Thapen N.

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

CATALOGO IRIS SAPIENZA

Anno

2019 (1) Apply 2019 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 - Annual IEEE Symposium on Foundations of Computer Science, FOCS (1) Apply Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS filter

Keywords

(-) Remove Polynomial calculus filter Polynomial calculus
(-) Remove Resolution filter Resolution
Monomial space (1) Apply Monomial space filter
Proof complexity (1) Apply Proof complexity filter
Random CNFs (1) Apply Random CNFs filter
space (1) Apply space filter
Total space (1) Apply Total space filter

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