Pubblicazioni
2019 - IEEE TRANSACTIONS ON POWER ELECTRONICS
De Donato, Giulio; Scelba, Giacomo; Pulvirenti, Mario; Scarcella, Giuseppe; Giulii Capponi, Fabio
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.