Pubblicazioni

The ghosts of forgotten things: A study on size after forgetting

2024 - ANNALS OF PURE AND APPLIED LOGIC
Liberatore, P.

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