Salta al contenuto principale
Ricerc@Sapienza
Toggle navigation
Home
Login
Home
Pubblicazioni
"Leibniz International Proceedings in Informatics, LIPIcs"
"software"
"04b Atto di convegno in volume"
"Space complexity"
Pubblicazioni
Pubblicazioni
The space complexity of cutting planes refutations
2015 - Leibniz International Proceedings in Informatics, LIPIcs
Galesi, Nicola
; Pudlák, Pavel; Thapen, Neil
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma