Pubblicazioni

Tracks from hell — When finding a proof may be easier than checking it

2020 - THEORETICAL COMPUTER SCIENCE
Almanza, M.; Leucci, S.; Panconesi, A.

Trainyard is NP-Hard

2018 - THEORETICAL COMPUTER SCIENCE
Almanza, M.; Leucci, S.; Panconesi, A.

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