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.

Half-integral linkages in highly connected directed graphs

2017 - Leibniz International Proceedings in Informatics, LIPIcs
Edwards, Katherine; Muzi, Irene; Wollan, Paul

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