Pubblicazioni

Proof complexity and the binary encoding of combinatorial principles

2024 - SIAM JOURNAL ON COMPUTING
Dantchev, S.; Galesi, N.; Ghani, A.; Martin, B.

Space complexity in polynomial calculus

2015 - SIAM JOURNAL ON COMPUTING
Filmus, Yuval; Lauria, Massimo; Nordström, Jakob; Ron Zewi, Noga; Thapen, Neil

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