Salta al contenuto principale
Ricerc@Sapienza
Toggle navigation
Home
Login
Home
Pubblicazioni
"Leibniz International Proceedings in Informatics, LIPIcs"
"Pigeonhole Principle"
Pubblicazioni
Pubblicazioni
Resolution and the binary encoding of combinatorial principles
2019 - Leibniz International Proceedings in Informatics, LIPIcs
Dantchev, S.;
Galesi, N.
; Martin, B.
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma