Pubblicazioni

From small space to small width in resolution

2015 - ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
Filmus, Yuval; Lauria, Massimo; Mikša, Mladen; Nordström, Jakob; Vinyals, Marc

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