Skip to main content

Ricerc@Sapienza

Home
Login

Home
Resolution
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

CATALOGO IRIS SAPIENZA

Anno

2017 (1) Apply 2017 filter

Tipo pubblicazione

01 Pubblicazione su rivista (1) Apply 01 Pubblicazione su rivista filter

Rivista

INFORMATION AND COMPUTATION (1) Apply INFORMATION AND COMPUTATION filter

Book

Keywords

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

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