Pubblicazioni

Bounded-depth Frege complexity of Tseitin formulas for all graphs

2022 - ANNALS OF PURE AND APPLIED LOGIC
Galesi, N.; Itsykson, D.; Riazanov, A.; Sofronova, A.

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.

Rooted grid minors

2017 - JOURNAL OF COMBINATORIAL THEORY
Marx, Daniel; Seymour, Paul; Wollan, Paul

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