Pubblicazioni

2019 - Theory and Applications of Satisfiability Testing – SAT 2019
Atserias, A.; Lauria, M.
2019 - Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS
Galesi, N.; Kolodziejczyk, L.; Thapen, N.

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