Pubblicazioni

Common equivalence and size of forgetting from Horn formulae

2024 - ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
Liberatore, Paolo

On the complexity of rational verification

2022 - ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
Gutierrez, Julian; Najib, Muhammad; Perelli, Giuseppe; Wooldridge, Michael

Improving parity games in practice

2021 - ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
Di Stasio, Antonio; Murano, Aniello; Prignano, Vincenzo; Sorrentino., Loredana

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