Pubblicazioni

A rank lower bound for cutting Planes Proofs of Ramsey's Theorem

2016 - ACM TRANSACTIONS ON COMPUTATION THEORY
Lauria, Massimo

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