Salta al contenuto principale

Ricerc@Sapienza

Home
Login

Home
Leibniz International Proceedings in Informatics, LIPIcs
Tseitin formula
Risultati ricerca pubblicazioni

Risultati ricerca pubblicazioni

Torna alla Home Page delle pubblicazioni

Bounded-depth frege complexity of tseitin formulas for all graphs

pubblicato su: Leibniz International Proceedings in Informatics, LIPIcs - 2019

Galesi N., Itsykson D., Riazanov A., Sofronova A.

CATALOGO IRIS SAPIENZA

Anno

2019 (1) Apply 2019 filter

Tipo pubblicazione

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

Rivista

Book

(-) Remove Leibniz International Proceedings in Informatics, LIPIcs filter Leibniz International Proceedings in Informatics, LIPIcs

Keywords

(-) Remove Tseitin formula filter Tseitin formula
AC0-Frege (1) Apply AC0-Frege filter
Treewidth (1) Apply Treewidth filter

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