Salta al contenuto principale
Ricerc@Sapienza
Toggle navigation
Home
Login
Home
Pubblicazioni
"Leibniz International Proceedings in Informatics, LIPIcs"
"clique"
"04b Atto di convegno in volume"
"2019"
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