Salta al contenuto principale
Ricerc@Sapienza
Toggle navigation
Home
Login
Home
Pubblicazioni
"Treewidth"
"AC0-Frege"
Pubblicazioni
Pubblicazioni
Bounded-depth frege complexity of tseitin formulas for all graphs
2019 - Leibniz International Proceedings in Informatics, LIPIcs
Galesi, N.
; Itsykson, D.; Riazanov, A.; Sofronova, A.
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma