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