Pubblicazioni

Proof complexity and the binary encoding of combinatorial principles

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

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