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.

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