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